fn w32 $ifLetMut(w64 %0) {
  @entry0
    reserve %1 8 4;
    blit %1 %0 8;
    load w8 %2 %1 0;
    br.ne w32 %2 0 @then1 @else2;
  @then1
    sload w32 %3 %1 4;
    add w32 %4 %3 1;
    ret %4;
  @else2
    ret 0;
}