diff --git a/evmcc/test/jump/ackermann.ethel b/evmcc/test/jump/ackermann.ethel
new file mode 100644
index 000000000..971fd2b8d
--- /dev/null
+++ b/evmcc/test/jump/ackermann.ethel
@@ -0,0 +1,7 @@
+let A m n = 
+    if m == 0 then n+1
+    else if n == 0 then A (m-1) 1
+    else A (m-1) (A (m) (n-1))
+
+return A 3 8
+
diff --git a/evmcc/test/jump/ackermann.evm b/evmcc/test/jump/ackermann.evm
new file mode 100644
index 000000000..964844045
--- /dev/null
+++ b/evmcc/test/jump/ackermann.evm
@@ -0,0 +1 @@
+6009600360086012585d60005460206000f26000820e6047596000810e603859603460018303603084600185036012585d6012585d60445860436001830360016012585d604b5860018101905090509058
\ No newline at end of file
diff --git a/evmcc/test/jump/fac.ethel b/evmcc/test/jump/fac.ethel
new file mode 100644
index 000000000..8bfe94dd6
--- /dev/null
+++ b/evmcc/test/jump/fac.ethel
@@ -0,0 +1,5 @@
+let fac n = 
+    if n == 0 then 1	
+    else n * fac (n-1)
+
+return fac 60
\ No newline at end of file
diff --git a/evmcc/test/jump/fac.evm b/evmcc/test/jump/fac.evm
new file mode 100644
index 000000000..04cd3e4f4
--- /dev/null
+++ b/evmcc/test/jump/fac.evm
@@ -0,0 +1 @@
+6007603c6010585d60005460206000f26000810e6026596020600182036010585d8102602858600190509058
\ No newline at end of file
diff --git a/evmcc/test/jump/fac_tail.ethel b/evmcc/test/jump/fac_tail.ethel
new file mode 100644
index 000000000..9ce5ecac7
--- /dev/null
+++ b/evmcc/test/jump/fac_tail.ethel
@@ -0,0 +1,5 @@
+let fac a n = 
+    if n == 0 then a	
+    else fac (a*n) (n-1)
+
+return fac 1 60
\ No newline at end of file
diff --git a/evmcc/test/jump/fac_tail.evm b/evmcc/test/jump/fac_tail.evm
new file mode 100644
index 000000000..8384d94e4
--- /dev/null
+++ b/evmcc/test/jump/fac_tail.evm
@@ -0,0 +1 @@
+60096001603c6012585d60005460206000f26000810e6029596025818302600183036012585d602a5881905090509058
\ No newline at end of file
diff --git a/evmcc/test/stack/oos.evm b/evmcc/test/stack/oos.evm
new file mode 100644
index 000000000..ea2f1c890
--- /dev/null
+++ b/evmcc/test/stack/oos.evm
@@ -0,0 +1 @@
+60018194505050509150
diff --git a/evmcc/test/stack/oos.lll b/evmcc/test/stack/oos.lll
new file mode 100644
index 000000000..5394b06ba
--- /dev/null
+++ b/evmcc/test/stack/oos.lll
@@ -0,0 +1,11 @@
+(asm     ;; x . v y z
+1        ;; 1 x . v y z
+DUP2     ;; x 1 x . v y z
+SWAP5    ;; y 1 x . v x z 
+POP      ;; 1 x . v x z
+POP      ;; x . v x z
+POP      ;; . v x z
+POP      ;; v x z
+SWAP2    ;; z x v
+POP      ;; x v
+)
diff --git a/evmcc/test/stack/swap.evm b/evmcc/test/stack/swap.evm
new file mode 100644
index 000000000..27914aa55
--- /dev/null
+++ b/evmcc/test/stack/swap.evm
@@ -0,0 +1 @@
+600160026001600a590090600160115900016000546001601ff2
diff --git a/evmcc/test/stack/swap.lll b/evmcc/test/stack/swap.lll
new file mode 100644
index 000000000..e9ac214bd
--- /dev/null
+++ b/evmcc/test/stack/swap.lll
@@ -0,0 +1,25 @@
+(asm
+1      ;; 0
+2      ;; 2
+1      ;; 4
+10     ;; 6
+JUMPI  ;; 8
+STOP   ;; 9
+
+;; stack = 2,1
+SWAP1  ;; 10
+1      ;; 11
+17     ;; 13
+JUMPI  ;; 15
+STOP   ;; 16
+
+;; stack = 1,2
+ADD    ;; 17
+0
+MSTORE
+1
+31
+RETURN ;; returns 03
+) 
+
+
diff --git a/evmcc/test/stack/swapswap.evm b/evmcc/test/stack/swapswap.evm
new file mode 100644
index 000000000..f0081f238
--- /dev/null
+++ b/evmcc/test/stack/swapswap.evm
@@ -0,0 +1 @@
+600160026001600a59009090600160125900016000546001601ff2
diff --git a/evmcc/test/stack/swapswap.lll b/evmcc/test/stack/swapswap.lll
new file mode 100644
index 000000000..67fe75941
--- /dev/null
+++ b/evmcc/test/stack/swapswap.lll
@@ -0,0 +1,26 @@
+(asm
+1      ;; 0
+2      ;; 2
+1      ;; 4
+10     ;; 6
+JUMPI  ;; 8
+STOP   ;; 9
+
+;; stack = 2,1
+SWAP1  ;; 10
+SWAP1  ;; 11
+1      ;; 12
+18     ;; 14
+JUMPI  ;; 16
+STOP   ;; 17
+
+;; stack = 2,1
+ADD    ;; 18
+0
+MSTORE
+1
+31
+RETURN ;; returns 03
+) 
+
+
diff --git a/evmcc/test/stack/test.evm b/evmcc/test/stack/test.evm
new file mode 100644
index 000000000..ea2f1c890
--- /dev/null
+++ b/evmcc/test/stack/test.evm
@@ -0,0 +1 @@
+60018194505050509150