diff --git a/Cargo.lock b/Cargo.lock
index 5c0728a7..15795161 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -559,9 +559,7 @@ dependencies = [
 
 [[package]]
 name = "parity-wasm"
-version = "0.41.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ddfc878dac00da22f8f61e7af3157988424567ab01d9920b962ef7dcbd7cd865"
+version = "0.43.0"
 
 [[package]]
 name = "paste"
diff --git a/bin/run-node b/bin/run-node
index 9d83a3db..d650ecbe 100755
--- a/bin/run-node
+++ b/bin/run-node
@@ -1,4 +1,4 @@
-#!/usr/bin/env node
+#!/usr/bin/env -S node --experimental-wasm-return_call
 
 // Usage: ./run.js <jankscripten-compiled WASM file>
 // Executes the given WASM code using the jankscripten runtime.
diff --git a/integration_tests/src/testing.test.js b/integration_tests/src/testing.test.js
index 062b444e..9bd5887b 100644
--- a/integration_tests/src/testing.test.js
+++ b/integration_tests/src/testing.test.js
@@ -26,7 +26,7 @@ function makeTest(filename) {
         cp.spawnSync(jankscriptenPath, ['compile', '-o', path.join(wasmPath), path.join(jsPath)], { stdio: 'inherit' });
         let output;
         try {
-            output = String(cp.execSync(`node ../bin/run-node ${wasmPath}`, { stderr: 'inherit' })).trim();
+            output = String(cp.execSync(`node --experimental-wasm-return_call ../bin/run-node ${wasmPath}`, { stderr: 'inherit' })).trim();
         } catch (e) {
             // jest is very stubborn about printing in the right spot only
             // if it's a thrown error, and the captured stdout won't be seen
diff --git a/integration_tests/test_data/tailcall.notwasm b/integration_tests/test_data/tailcall.notwasm
new file mode 100644
index 00000000..fc5e74bc
--- /dev/null
+++ b/integration_tests/test_data/tailcall.notwasm
@@ -0,0 +1,21 @@
+
+function notfactorial(n : i32, acc: i32) : i32 {
+    if (n == 0) {
+        return acc;
+    }
+    else {
+        acc = acc + n;
+        n = n - 1;
+        return notfactorial(n, acc);
+    }
+}
+
+function main() {
+    var consoleLogF = rt(console_log);
+    var consoleLog = clos(consoleLogF,);
+    var n = 1000000;
+    var acc = 1;
+    var result = notfactorial(n, acc);
+    var r = any(result);
+    consoleLog!(r, r);
+}
\ No newline at end of file
diff --git a/integration_tests/test_data/tailcall.txt b/integration_tests/test_data/tailcall.txt
new file mode 100644
index 00000000..c5fafec8
--- /dev/null
+++ b/integration_tests/test_data/tailcall.txt
@@ -0,0 +1 @@
+1784293665
\ No newline at end of file
diff --git a/libjankscripten/Cargo.toml b/libjankscripten/Cargo.toml
index 4936c206..d0fe98ab 100644
--- a/libjankscripten/Cargo.toml
+++ b/libjankscripten/Cargo.toml
@@ -7,7 +7,7 @@ edition = "2018"
 [dependencies]
 thiserror = "*"
 pretty = "^0.10.0"
-parity-wasm = "^0.41.0"
+parity-wasm = { path = "../../parity-wasm" }
 im-rc = "15.0.0"
 strum = "0.19"
 strum_macros = "0.19"
diff --git a/libjankscripten/src/notwasm/from_jankyscript.rs b/libjankscripten/src/notwasm/from_jankyscript.rs
index 2e1e88ae..41ed49a5 100644
--- a/libjankscripten/src/notwasm/from_jankyscript.rs
+++ b/libjankscripten/src/notwasm/from_jankyscript.rs
@@ -531,7 +531,7 @@ fn compile_stmt<'a>(state: &'a mut S, stmt: J::Stmt) -> Rope<Stmt> {
         // TODO(luna): notwasm needs to support exceptions
         S::Throw(_, _) => Rope::new(),
         S::Return(e, p) => {
-            compile_expr(state, *e, C::a(|_s, a| Rope::singleton(Stmt::Return(a, p))))
+            compile_expr(state, *e, C::a(|_s, a| Rope::singleton(Stmt::Return(Expr::Atom(a, p.clone()), p))))
         }
     }
 }
diff --git a/libjankscripten/src/notwasm/intern.rs b/libjankscripten/src/notwasm/intern.rs
index 2cc1502a..2d4cf61d 100644
--- a/libjankscripten/src/notwasm/intern.rs
+++ b/libjankscripten/src/notwasm/intern.rs
@@ -112,7 +112,7 @@ mod test {
                         ),
                         s.clone(),
                     ),
-                    Stmt::Return(i32_(0, s.clone()), s.clone()),
+                    Stmt::Return(Expr::Atom(i32_(0, s.clone()), s.clone()), s.clone()),
                 ],
                 s.clone(),
             ),
diff --git a/libjankscripten/src/notwasm/parser.y b/libjankscripten/src/notwasm/parser.y
index 35e50fb8..a0199c5b 100644
--- a/libjankscripten/src/notwasm/parser.y
+++ b/libjankscripten/src/notwasm/parser.y
@@ -171,7 +171,7 @@ Stmt -> Stmt :
     { Stmt::Var(VarStmt::new(id_("_"), Expr::HTSet($1, str_($3, pos($2)), $5, pos($2))), pos($2)) }
   | 'if' '(' AtomAdd ')' Block 'else' Block { Stmt::If($3, Box::new($5), Box::new($7), pos($1)) }
   | 'loop' Block                            { Stmt::Loop(Box::new($2), pos($1)) }
-  | 'return' AtomAdd ';'                    { Stmt::Return($2, pos($1)) }
+  | 'return' Expr ';'                    { Stmt::Return($2, pos($1)) }
   | 'break' IdString ';'                    { Stmt::Break(Label::Named($2), pos($1)) }
   | 'while' '(' AtomAdd ')' Block           { while_($3, $5, pos($1)) }
   | '*' Id '=' Expr ';'                     { Stmt::Store($2, $4, pos($1)) }
diff --git a/libjankscripten/src/notwasm/syntax.rs b/libjankscripten/src/notwasm/syntax.rs
index c68a4eaa..0b702c1b 100644
--- a/libjankscripten/src/notwasm/syntax.rs
+++ b/libjankscripten/src/notwasm/syntax.rs
@@ -363,7 +363,7 @@ pub enum Stmt {
     Label(Label, Box<Stmt>, Pos),
     Break(Label, Pos),
     // Break value as return?
-    Return(Atom, Pos),
+    Return(Expr, Pos),
     Block(Vec<Stmt>, Pos),
     Trap,
     /// these don't exist in NotWasm, only GotoWasm. if you try to [translate]
diff --git a/libjankscripten/src/notwasm/translation.rs b/libjankscripten/src/notwasm/translation.rs
index 793566fa..723f4800 100644
--- a/libjankscripten/src/notwasm/translation.rs
+++ b/libjankscripten/src/notwasm/translation.rs
@@ -30,6 +30,13 @@ pub fn translate(opts: &Opts, program: N::Program) -> Result<Vec<u8>, Error> {
 
 type IdEnv = im_rc::HashMap<N::Id, IdIndex>;
 
+fn opt_valuetype_to_blocktype(t: &Option<ValueType>) -> BlockType {
+    match t {
+        None => BlockType::NoResult,
+        Some(t) => BlockType::Value(t.clone())
+    }
+}
+
 pub fn translate_parity(opts: &Opts, mut program: N::Program) -> Module {
     // The initial environment maps functions names to their indices.
     let mut global_env = IdEnv::default();
@@ -86,12 +93,12 @@ pub fn translate_parity(opts: &Opts, mut program: N::Program) -> Module {
     {
         let type_i = if let N::Type::Fn(fn_ty) = ty {
             let wasm_ty = (types_as_wasm(&fn_ty.args), option_as_wasm(&fn_ty.result));
-            let i_check = module.push_signature(
-                signature()
-                    .with_params(wasm_ty.0.clone())
-                    .with_return_type(wasm_ty.1.clone())
-                    .build_sig(),
-            );
+            let mut sig_builder = signature()
+                .with_params(wasm_ty.0.clone());
+            if let Some(ret_ty) = wasm_ty.1 {
+                sig_builder = sig_builder.with_result(ret_ty.clone());
+            }
+            let i_check = module.push_signature(sig_builder.build_sig());
             assert_eq!(*type_indexes.entry(wasm_ty).or_insert(i_check), i_check);
             i_check
         } else {
@@ -257,9 +264,10 @@ fn translate_func(
     }
 
     let mut env = Env::default();
+    env.result_type = func.fn_type.result.as_ref().map(|x| x.as_wasm());
 
     // generate the actual code
-    translator.translate_rec(&mut env, &mut func.body);
+    translator.translate_rec(&mut env, &mut func.body, true);
     let mut insts = vec![];
 
     if opts.disable_gc == false {
@@ -272,9 +280,9 @@ fn translate_func(
 
     insts.append(&mut translator.out);
 
-    if opts.disable_gc == false {
-        insts.push(Call(*rt_indexes.get("gc_exit_fn").expect("no exit")));
-    }
+    // if opts.disable_gc == false {
+    //      insts.push(Call(*rt_indexes.get("gc_exit_fn").expect("no exit")));
+    // }
 
     insts.push(End);
     let locals: Vec<_> = translator
@@ -291,10 +299,13 @@ fn translate_func(
             _ => None,
         })
         .collect();
-    let func = function()
+    let mut func_builder = function()
         .signature()
-        .with_params(types_as_wasm(&func.fn_type.args))
-        .with_return_type(option_as_wasm(&func.fn_type.result))
+        .with_params(types_as_wasm(&func.fn_type.args));
+    if let Some(ret_ty) = &func.fn_type.result {
+        func_builder = func_builder.with_result(ret_ty.as_wasm());
+    }
+    let func = func_builder
         .build()
         .body()
         .with_instructions(Instructions::new(insts))
@@ -325,6 +336,7 @@ struct Translate<'a> {
 #[derive(Clone, PartialEq, Default, Debug)]
 struct Env {
     labels: im_rc::Vector<TranslateLabel>,
+    result_type: Option<ValueType>,
 }
 
 /// We use `TranslateLabel` to compile the named labels and breaks of NotWasm
@@ -392,7 +404,7 @@ impl<'a> Translate<'a> {
     // the environment of its successor. (The alternative would be to have
     // `translate_rec` return a new environment.) However, we have to take care
     // to clone `env` when we enter a new block scope.
-    pub(self) fn translate_rec(&mut self, env: &Env, stmt: &mut N::Stmt) {
+    pub(self) fn translate_rec(&mut self, env: &Env, stmt: &mut N::Stmt, tail_position: bool) {
         match stmt {
             N::Stmt::Store(id, expr, _) => {
                 // storing into a reference translates into a raw write
@@ -406,21 +418,25 @@ impl<'a> Translate<'a> {
                 } else {
                     panic!("tried to store into non-ref");
                 };
-                self.translate_expr(expr);
+                self.translate_expr(expr, false);
                 self.store(ty, TAG_SIZE);
             }
             N::Stmt::Empty => (),
             N::Stmt::Block(ss, _) => {
                 // don't surround in an actual block, those are only useful
                 // when labeled
-                for s in ss {
-                    self.translate_rec(env, s);
+                if ss.len() == 0 {
+                    return; // TODO(arjun): This happens
+                }
+                let last_index = ss.len() - 1;
+                for (index, s) in ss.iter_mut().enumerate() {
+                    self.translate_rec(env, s, tail_position && index == last_index);
                 }
             }
             N::Stmt::Var(var_stmt, _) => {
                 // Binds variable in env after compiling expr (prevents
                 // circularity).
-                self.translate_expr(&mut var_stmt.named);
+                self.translate_expr(&mut var_stmt.named, false);
 
                 let index = self.next_id;
                 self.next_id += 1;
@@ -440,7 +456,7 @@ impl<'a> Translate<'a> {
                 }
             }
             N::Stmt::Expression(expr, _) => {
-                self.translate_expr(expr);
+                self.translate_expr(expr, false);
                 self.out.push(Drop); // side-effects only, please
             }
             N::Stmt::Assign(id, expr, _) => {
@@ -451,7 +467,7 @@ impl<'a> Translate<'a> {
                     .clone()
                 {
                     IdIndex::Local(n, ty) => {
-                        self.translate_expr(expr);
+                        self.translate_expr(expr, false);
                         if self.opts.disable_gc == true || ty.is_gc_root() == false {
                             self.out.push(SetLocal(n));
                         } else {
@@ -461,7 +477,7 @@ impl<'a> Translate<'a> {
                         }
                     }
                     IdIndex::Global(n, ty) => {
-                        self.translate_expr(expr);
+                        self.translate_expr(expr, false);
                         // no tee for globals
                         self.out.push(SetGlobal(n));
                         if self.opts.disable_gc == false && ty.is_gc_root() {
@@ -477,7 +493,7 @@ impl<'a> Translate<'a> {
                         // aren't really even real (yet at least), it's not worth
                         // reasoning through this
                         self.out.push(GetGlobal(n));
-                        self.translate_expr(expr);
+                        self.translate_expr(expr, false);
                         self.store(ty, 0);
                     }
                     IdIndex::Fun(..) => panic!("cannot set function"),
@@ -485,12 +501,17 @@ impl<'a> Translate<'a> {
             }
             N::Stmt::If(cond, conseq, alt, _) => {
                 self.translate_atom(cond);
-                self.out.push(If(BlockType::NoResult));
+                let block_type = if tail_position {
+                    opt_valuetype_to_blocktype(&env.result_type)
+                } else {
+                    BlockType::NoResult
+                };
+                self.out.push(If(block_type));
                 let mut env1 = env.clone();
                 env1.labels.push_front(TranslateLabel::Unused);
-                self.translate_rec(&env1, conseq);
+                self.translate_rec(&env1, conseq, tail_position);
                 self.out.push(Else);
-                self.translate_rec(&env1, alt);
+                self.translate_rec(&env1, alt, tail_position);
                 self.out.push(End);
             }
             N::Stmt::Loop(body, _) => {
@@ -498,7 +519,7 @@ impl<'a> Translate<'a> {
                 self.out.push(Loop(BlockType::NoResult));
                 let mut env1 = env.clone();
                 env1.labels.push_front(TranslateLabel::Unused);
-                self.translate_rec(&env1, body);
+                self.translate_rec(&env1, body, false);
                 // loop doesn't automatically continue, don't ask me why
                 self.out.push(Br(0));
                 self.out.push(End);
@@ -510,7 +531,7 @@ impl<'a> Translate<'a> {
                 self.out.push(Block(BlockType::NoResult));
                 let mut env1 = env.clone();
                 env1.labels.push_front(TranslateLabel::Label(x.clone()));
-                self.translate_rec(&mut env1, stmt);
+                self.translate_rec(&mut env1, stmt, tail_position);
                 self.out.push(End);
             }
             N::Stmt::Break(label, _) => {
@@ -521,12 +542,11 @@ impl<'a> Translate<'a> {
                     .expect(&format!("unbound label {:?}", label));
                 self.out.push(Br(i as u32));
             }
-            N::Stmt::Return(atom, _) => {
+            N::Stmt::Return(e, _) => {
                 if self.opts.disable_gc == false {
                     self.rt_call("gc_exit_fn");
                 }
-                self.translate_atom(atom);
-                self.out.push(Return);
+                self.translate_expr(e, true);
             }
             N::Stmt::Trap => {
                 self.out.push(Unreachable);
@@ -580,7 +600,8 @@ impl<'a> Translate<'a> {
         }
     }
 
-    fn translate_expr(&mut self, expr: &mut N::Expr) {
+    fn translate_expr(&mut self, expr: &mut N::Expr, tail_position: bool) {
+        let mut emitted_return = false;
         match expr {
             N::Expr::Atom(atom, _) => self.translate_atom(atom),
             N::Expr::ArraySet(arr, index, value, _) => {
@@ -646,7 +667,14 @@ impl<'a> Translate<'a> {
                         // we index in notwasm by 0 = first user function. but
                         // wasm indexes by 0 = first rt function. so we have
                         // to offset
-                        self.out.push(Call(i + self.rt_indexes.len() as u32));
+                        let offset = i + self.rt_indexes.len() as u32;
+                        if tail_position {
+                            self.out.push(ReturnCall(offset));
+                            emitted_return = true;
+                        }
+                        else {
+                            self.out.push(Call(offset));
+                        }
                     }
                     Some(IdIndex::Local(i, t)) => {
                         self.out.push(GetLocal(i));
@@ -656,11 +684,17 @@ impl<'a> Translate<'a> {
                             }
                             _ => panic!("identifier {:?} is not function-typed", f),
                         };
-                        let ty_index = self
+                        let ty_index = *self
                             .type_indexes
                             .get(&(params_tys, ret_ty))
                             .unwrap_or_else(|| panic!("function type was not indexed {:?}", s));
-                        self.out.push(CallIndirect(*ty_index, 0));
+                        if tail_position {
+                            self.out.push(ReturnCallIndirect(ty_index, 0));
+                            emitted_return = true;
+                        }
+                        else {
+                            self.out.push(CallIndirect(ty_index, 0));
+                        }
                     }
                     Some(index) => panic!(
                         "can't translate Func ID for function ({}): ({:?})",
@@ -741,6 +775,9 @@ impl<'a> Translate<'a> {
                 self.rt_call("closure_new");
             }
         }
+        if emitted_return == false && tail_position {
+            self.out.push(Return);
+        }
     }
 
     fn translate_atom(&mut self, atom: &mut N::Atom) {
@@ -1023,20 +1060,20 @@ fn insert_generated_main(
         insts.push(Call(*rt_indexes.get("gc_exit_fn").expect("no gc_exit_fn")));
     }
     insts.push(End);
+    let mut func_builder = function()
+        .signature()
+        .with_params(vec![]);
     // this is just the worst hack due to lack of void type. i still
     // don't want to add it because it doesn't exist in from-jankyscript
     // notwasm, but it makes all my tests that return have an extra thing
     // on the stack. but since it's only the tests, i should be able to
     // identify tests and drop only then. it's awful. i know
     #[cfg(test)]
-    let return_type = Some(N::Type::I32.as_wasm());
-    #[cfg(not(test))]
-    let return_type = None;
+    {
+        func_builder = func_builder.with_result(N::Type::I32.as_wasm());
+    }
     module.push_function(
-        function()
-            .signature()
-            .with_params(vec![])
-            .with_return_type(return_type)
+            func_builder
             .build()
             .body()
             .with_instructions(Instructions::new(insts))
diff --git a/libjankscripten/src/notwasm/type_checking.rs b/libjankscripten/src/notwasm/type_checking.rs
index 51d682c0..d655c14a 100644
--- a/libjankscripten/src/notwasm/type_checking.rs
+++ b/libjankscripten/src/notwasm/type_checking.rs
@@ -251,8 +251,8 @@ fn type_check_stmt(env: Env, s: &mut Stmt, ret_ty: &Option<Type>) -> TypeCheckin
             Ok(env)
         }
         Stmt::Break(_lbl, _) => Ok(env),
-        Stmt::Return(a, s) => {
-            let got = type_check_atom(&env, a)?;
+        Stmt::Return(e, s) => {
+            let got = type_check_expr(&env, e)?;
 
             // ??? MMG if ret_ty = None, can one return early?
             match ret_ty {
diff --git a/libjankscripten/src/notwasm/walk.rs b/libjankscripten/src/notwasm/walk.rs
index 4a5bbb77..84501db9 100644
--- a/libjankscripten/src/notwasm/walk.rs
+++ b/libjankscripten/src/notwasm/walk.rs
@@ -120,9 +120,7 @@ where
                 self.walk_expr(&mut var_stmt.named, loc);
             }
             // 1xExpr
-            Expression(a, _) | Assign(.., a, _) | Store(.., a, _) => self.walk_expr(a, loc),
-            // 1xAtom
-            Return(a, _) => self.walk_atom(a, loc),
+            Return(a, _) | Expression(a, _) | Assign(.., a, _) | Store(.., a, _) => self.walk_expr(a, loc),
             // 1xExpr, 2xStmt
             If(e, sa, sb, _) => {
                 self.walk_atom(e, loc);