fn w64 $stop() {
  @entry0
    unreachable;
}

fn w64 $value() {
  @entry0
    call w64 $stop();
    unreachable;
}

fn w64 $select(w8 %0) {
  @entry0
    br.ne w32 %0 0 @then1 @merge2;
  @then1
    call w64 $stop();
    unreachable;
  @merge2
    ret 42;
}

fn w64 $spin() {
  @entry0
    jmp @while1;
  @while1
    copy %0 1;
    br.ne w32 %0 0 @body2 @merge3;
  @body2
    jmp @while1;
  @merge3
    unreachable;
}

fn w64 $indirect(w64 %0) {
  @entry0
    call w64 %0();
    unreachable;
}

fn w64 $initialized() {
  @entry0
    call w64 $stop();
    unreachable;
}