block void
get_local 0
i32.const 0
i32.ge_s
br_if 0
get_local 0
get_local 0
i32.sub
set_local 0
end
get_local 0
i32.const 0
i32.add
set_local 0
get_local 0
return
end