// check: VerificationError

main() {
    let x: u64;
    let y: u64;
    x = 3;
    y = move(x);
    return move(x);
}