(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 "cm32p2|a:b/x" "y" (func (;0;) (type 0)))
(memory (;0;) 0)
(export "cm32p2|a:b/x|y" (func 1))
(export "cm32p2|a:b/x|y_post" (func 2))
(export "cm32p2_memory" (memory 0))
(export "cm32p2_realloc" (func 3))
(export "cm32p2_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))
)