(module (import "test" "bad" (func $bad (param i64))))