br_multi1.bin.wast

(module binary
  "\00\61\73\6d\01\00\00\00\01\8e\80\80\80\00\02\60"
  "\01\7f\03\7f\7f\7e\60\00\03\7f\7f\7e\03\82\80\80"
  "\80\00\01\00\07\95\80\80\80\00\01\11\62\72\65\61"
  "\6b\2d\6d\75\6c\74\69\2d\76\61\6c\75\65\00\00\0a"
  "\93\80\80\80\00\01\8d\80\80\80\00\00\02\01\41\12"
  "\41\6e\42\12\0c\00\0b\0b"
)
(assert_return
  (invoke "break-multi-value" (i32.const 0x1))
  (i32.const 0x12)
  (i32.const 0xffff_ffee)
  (i64.const 0x12)
)