module 0x8675309::M {
    fun t0(r: &u64, r_mut: &mut u64) {
        &r;
        &r_mut;
        &mut r;
        &mut r_mut;
    }
}