test/roundtrip/debug-names.txt - external/github.com/WebAssembly/wabt - Git at Google

 ;;; TOOL: run-roundtrip
 ;;; ARGS: --debug-names
 (module $m1
   (func $f1)
   (func $f2 (param $p1 i32) (param $p2 i64)
     (local $l1 f32)
     (local $l2 f64)))
	;;; TOOL: run-roundtrip
	;;; ARGS: --debug-names
	(module $m1
	(func $f1)
	(func $f2 (param $p1 i32) (param $p2 i64)
	(local $l1 f32)
	(local $l2 f64)))