br_multi2.bin.wast

(module binary
  "\00\61\73\6d\01\00\00\00\01\8c\80\80\80\00\02\60"
  "\01\7f\02\7f\7e\60\00\02\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\9a\80"
  "\80\80\00\01\94\80\80\80\00\00\20\00\04\01\41\13"
  "\42\12\0c\00\05\41\6d\42\6e\0c\00\0b\0b"
)
(assert_return
  (invoke "break-multi-value" (i32.const 0x0))
  (i32.const 0xffff_ffed)
  (i64.const 0xffff_ffff_ffff_ffee)
)