git ssb

1
(module
2
  (import "func" "internalize" (func $internalize (param i32 i32)))
3
  (import "func" "set_gas_budget" (func $set_gas_budget (param i32 i32) (result i32)))
4
  (table (export "table") 1 1 anyfunc)
5
  (func $receive (param $funcRef i32)
6
    (call $internalize
7
      (i32.const 0)
8
      (call $set_gas_budget 
9
            (get_local $funcRef)
10
            (i32.const 10500)))
11
12
    (call_indirect (param i32)
13
      (i32.const 5)
14
      (i32.const 0))
15
  )
16
  (export "receive" (func $receive)))
17