address 0x42 {
module M {
    const C: u64 = {
        move x;
        copy y;
        z;
        0
    };
}
}