fn w32 $unwrap(w64 %0) {
  @entry0
    reserve %1 8 4;
    blit %1 %0 8 4;
    jmp @arm1;
  @arm1
    load w8 %2 %1 0;
    br.eq w8 %2 0 @case2 @arm3;
  @case2
    ret 0;
  @arm3
    jmp @case4;
  @case4
    load w32 %3 %1 4;
    ret %3;
}