module 0x8675309::M {
    fun t0() {
        ({}: u64);
        ({}: &u64);
        ({}: (u64, bool));
    }
}