fn w8 $makeRed() {
  @entry0
    ret 0;
}

fn w8 $makeBlue() {
  @entry0
    ret 2;
}

fn w64 $makeSome() {
  @entry0
    reserve %0 4 4;
    store w32 7 %0 0;
    reserve %1 8 4;
    store w8 1 %1 0;
    add w64 %2 %1 4;
    blit %2 %0 4 4;
    load w32 %3 %1 0;
    load w32 %4 %1 4;
    shl w64 %5 %4 32;
    or w64 %6 %3 %5;
    ret %6;
}

fn w64 $makeNone() {
  @entry0
    reserve %0 8 4;
    store w8 0 %0 0;
    load w32 %1 %0 0;
    load w32 %2 %0 4;
    shl w64 %3 %2 32;
    or w64 %4 %1 %3;
    ret %4;
}