(module
(type (;0;) (func (param i32)))
(type (;1;) (func (result i32)))
(type (;2;) (func (param i32 i32 i32 i32) (result i32)))
(type (;3;) (func))
(import "a:b/x" "y" (func (;0;) (type 0)))
(memory (;0;) 0)
(export "a:b/x#y" (func 1))
(export "cabi_post_a:b/x#y" (func 2))
(export "memory" (memory 0))
(export "cabi_realloc" (func 3))
(export "_initialize" (func 4))
(func (;1;) (type 1) (result i32)
unreachable
)
(func (;2;) (type 0) (param i32))
(func (;3;) (type 2) (param i32 i32 i32 i32) (result i32)
unreachable
)
(func (;4;) (type 3))
)