fn w8 $read_1(w64 %0) {
  @entry0
    load w8 %1 %0 0;
    ret %1;
}

fn w8 $read_2(w64 %0) {
  @entry0
    reserve %1 16 8;
    blit %1 %0 16;
    load w32 %2 %1 8;
    br.ult w32 0 %2 @guard#pass1 @guard#trap2;
  @guard#pass1
    load w64 %3 %1 0;
    load w8 %4 %3 0;
    ret %4;
  @guard#trap2
    ebreak;
    unreachable;
}

fn w64 $consume_3(w64 %0) {
  @entry0
    ret;
}

fn w64 $call_3(w64 %0) {
  @entry0
    call w64 $consume_3(%0);
    ret;
}