fn w32 $consume(w64 %0) {
  @entry0
    reserve %1 8 4;
    blit %1 %0 8;
    jmp @arm1;
  @arm1
    jmp @case2;
  @case2
    load w32 %2 %1 4;
    ret %2;
}

fn w32 $main() {
  @entry0
    reserve %0 4 4;
    store w32 42 %0 0;
    reserve %1 8 4;
    store w8 0 %1 0;
    add w64 %2 %1 4;
    blit %2 %0 4;
    call w32 %3 $consume(%1);
    ret %3;
}