module 0x8675309::M {
    fun t() {
        (@0x1: address);
        (0: u64);
        (10000: u64);
        (true: bool);
        (false: bool);
    }
}