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

    fun t0(x: u64, r: R, s: S) {
        false >= true;
        1 >= false;
        false >= 1;
        @0x0 >= @0x1;
        (0: u8) >= (1: u128);
        r >= r;
        s >= s;
        0 >= 1 >= 2;
        (1 >= false) && (@0x0 >= 0);
        () >= ();
        1 >= ();
        (0, 1) >= (0, 1, 2);
        (1, 2) >= (0, 1);
    }
}