module 0x8675309::M {
    fun t0() {
        ({}: ());
        ({
        }: ());
        ({{}}: ());
    }
}