New gas costs and test programs.

test/asm_code/addr_to_str_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+  ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/append_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+  APPEND a [1] [2]
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_all_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+  BITS_ALL a
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_all_n_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+  BITS_ALL_N a 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_alla_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+  BITS_ALLA
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_and_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+  BITS_AND a <101010> <010101>
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_clear_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+  BITS_CLEAR a <101010> 1
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_none_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+  BITS_NONE a
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_nonea_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+  BITS_NONEA
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_or_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+  BITS_OR a <101010> <010101>
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_set_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+  BITS_SET a <101010> 2
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_sum_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+  BITS_SUM a <101010>
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/bits_test_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+  BITS_TEST a <101010> 1
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/cons_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+  CONS a 42 []
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/element_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+  ELEMENT a 0 (42)
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/hd_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+  HD a [42]
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/int_to_addr_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+  INT_TO_ADDR a 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/int_to_str_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+  INT_TO_STR a 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/is_nil_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+  IS_NIL a []
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/length_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+  LENGTH a [42]
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_delete_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+  MAP_DELETE a { 42 => true } 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_empty_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+  MAP_EMPTY a
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_from_list_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+  MAP_FROM_LIST a [ ( 42, true) ]
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_lookup_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+  MAP_LOOKUP a { 42 => true } 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_lookupd_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+  MAP_LOOKUPD a { 42 => true } 41 false
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_member_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+  MAP_MEMBER a { 42 => true } 42
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/map_update_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+  MAP_UPDATE a { 42 => true } 42 false
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/nil_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+  NIL a
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/setelement_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+  SETELEMENT a 0 (42) 0
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/str_join_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+  STR_JOIN a "hello " "world!"
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/str_reverse_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+  STR_REVERSE a "abba"
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/tl_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+  TL a [42]
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/variant_element_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+  VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/variant_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+  VARIANT a [0] 0 0
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+

test/asm_code/variant_test_loop.fate

@@ -0,0 +1,123 @@
+;; Contract empty_loop
+
+FUNCTION run (integer) : integer
+  STORE var0 arg0
+  PUSH (0)
+  JUMP 1
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+  VARIANT_TEST a (| [0] | 0 | () |) 0
+
+  DEC var0
+  GT var1 var0 0
+  JUMPIF var1 1
+
+  RETURNR 0
+