(module
	(type $func_i32 (func (param i32)))
	(type $func_i64 (func (param i64)))
	(type $func_f32 (func (param f32)))
	(type $func_f64 (func (param f64)))
	(import "spectest" "print_i32" (func (type 0)))
	(import "spectest" "print_i64" (func (type 1)))
	(import "spectest" "print_i32" (func $print_i32 (type 0)))
	(import "spectest" "print_i64" (func $print_i64 (type 1)))
	(import "spectest" "print_f32" (func $print_f32 (type 2)))
	(import "spectest" "print_f64" (func $print_f64 (type 3)))
	(import "spectest" "print_i32_f32" (func $print_i32_f32 (type 5)))
	(import "spectest" "print_f64_f64" (func $print_f64_f64 (type 6)))
	(import "spectest" "print_i32" (func $print_i32-2 (type 0)))
	(import "spectest" "print_f64" (func $print_f64-2 (type 3)))
	(import "test" "func-i64->i64" (func $i64->i64 (type 7)))
	(export "p1" (func 11))
	(import "spectest" "print_i32" (func (type 0)))
	(export "p2" (func 12))
	(import "spectest" "print_i32" (func $p (type 0)))
	(export "p3" (func 13))
	(export "p4" (func 13))
	(import "spectest" "print_i32" (func (type 0)))
	(export "p5" (func 14))
	(import "spectest" "print_i32" (func (type 0)))
	(export "p6" (func 15))
	(import "spectest" "print_i32" (func (type 0)))
	(import "spectest" "print_i32" (func (type 4)))
	(import "spectest" "print_i32" (func (type 4)))
	(type $forward (func (param i32)))
	(type (func (param i32 f32)))
	(type (func (param f64 f64)))
	(type (func (param i64) (result i64)))
)