(type $sig (func (param i32 i32) (result i32)))(func (i32.const 0) (i32.const 1)  (if (type $sig) (param i32) (result i32) (then)) (unreachable))