//# run
main() {
    let x: u64;
    let imm_ref: &u64;
label b0:
    x = 5;
    imm_ref = &x;
    // cannot freeze an imm ref
    imm_ref = freeze(move(imm_ref));
    _ = move(imm_ref);
    return;
}