fn w32 $add(w32 %0, w32 %1) {
  @entry0
    add w32 %2 %0 %1;
    ret %2;
}

fn w32 $apply(w64 %0, w32 %1, w32 %2) {
  @entry0
    call w32 %3 %0(%1, %2);
    ret %3;
}

fn w32 $passPtr(w32 %0, w32 %1) {
  @entry0
    copy %2 $add;
    call w32 %3 $apply(%2, %0, %1);
    ret %3;
}