module 0x8675309::M {
    struct R {
        f: u64
    }

    fun t0(x: u64, r: R) {
        0 <= 0;
        1 <= 0;
        0 <= 1;
        0 <= (1: u8);
        (0: u8) <= 1;
        0 <= (1: u128);
        (0: u128) <= 1;
        (0) <= (1);
        copy x <= move x;
        r.f <= r.f;
        (1 <= r.f) && (r.f <= 0);
        let R {f: _} = r;
    }
}