1(module2 (import "seal0" "seal_input" (func $seal_input (param i32 i32)))3 (import "seal0" "seal_return" (func $seal_return (param i32 i32 i32)))4 (import "env" "memory" (memory 1 1))56 (func (export "deploy")7 (call $ok_trap_revert)8 )910 (func (export "call")11 (call $ok_trap_revert)12 )1314 (func $ok_trap_revert15 (i32.store (i32.const 4) (i32.const 4))16 (call $seal_input (i32.const 0) (i32.const 4))17 (block $IF_218 (block $IF_119 (block $IF_020 (br_table $IF_0 $IF_1 $IF_221 (i32.load8_u (i32.const 0))22 )23 (unreachable)24 )25 ;; 0 = return with success26 return27 )28 ;; 1 = revert29 (call $seal_return (i32.const 1) (i32.const 0) (i32.const 0))30 (unreachable)31 )32 ;; 2 = trap33 (unreachable)34 )35)