(module (memory $memory (export "memory") 1) (func $cabi_realloc (export "cabi_realloc") (param i32 i32 i32 i32) (result i32) unreachable) (func $a (export "a") unreachable) (func $b (export "b") (result i32) unreachable) (func (export "cabi_post_b") (param i32) unreachable) (func $c (export "c") (param i32 i32) (result i32) unreachable) (func (export "cabi_post_c") (param i32) unreachable) (func $d (export "d") (param i32 i32) unreachable) )