//# print-bytecode
main() {
    let x: u64;
    let y: u64;
    let z: u64;
label b0:
    x = 3;
    y = 5;
    z = move(x) + copy(y) * 5 - copy(y);
    return;
}