module 0x8675309::M {
    fun take_imm_mut_give_mut(_x: &u64, y: &mut u64): &mut u64 {
        y
    }

    fun take_imm_mut_give_imm(_x: &u64, y: &mut u64): &u64 {
        y
    }

    fun t0() {
        let x = 0;
        let y = 0;
        let x_ref = &x;
        let y_ref = &mut y;
        let r = take_imm_mut_give_mut(x_ref, y_ref);
        *x_ref;
        move x;
        *r = 1;
    }

    fun t1() {
        let x = 0;
        let y = 0;
        let x_ref = &x;
        let y_ref = &mut y;
        let r = take_imm_mut_give_imm(x_ref, y_ref);
        *r;
        *x_ref;
        *y_ref;
        *x_ref;
        *r;
    }

}