module 0x8675309::M {
    fun t0() {
        &();
        &(0, 1);
        &(0, 1, true, @0x0);
    }

    fun t1() {
        &(&0);
        &(&mut 1);
        &mut &2;
        &mut &mut 3;
    }
}