git ssb

1
(module
2
  (import "module" "export" (func $mod.exports (param i32 i32) (result i32)))
3
  (import "module" "new" (func $mod.new (param i32) (result i32)))
4
  (import "memory" "externalize" (func $mem.externalize (param i32 i32) (result i32)))
5
  (import "func" "internalize" (func $func.internalize (param i32 i32)))
6
  (import "func" "set_gas_budget" (func $set_gas_budget (param i32 i32) (result i32)))
7
  (memory (export "memory") 1)
8
  (data (i32.const 0) "receive")
9
  (table (export "table") 1 1 anyfunc)
10
  (func $main (param $bin i32)
11
    (call $func.internalize
12
      (i32.const 0)
13
      (call $set_gas_budget
14
        (call $mod.exports
15
                (call $mod.new (get_local $bin)) 
16
                (call $mem.externalize (i32.const 0) (i32.const 7)))
17
        (i32.const 10500)))
18
    
19
   (call_indirect (param i32)
20
     (i32.const 5)
21
     (i32.const 0)))
22
23
  (export "main" (func $main)))
24