module 0x8675309::M {
    fun foo() {
        0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001;
        0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001;
        (340282366920938463463374607431768211454: u128);
        (0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF: u128);
    }
}