data $byteSlice0 align 1 {
    w8 65;
    w8 66;
    w8 67;
}

fn w32 $byteSlice() {
  @entry0
    copy %0 $byteSlice0;
    reserve %1 16 8;
    store ptr %0 %1 0;
    store w32 3 %1 8;
    store w32 3 %1 12;
    load w32 %2 %1 8;
    ret %2;
}