module M { fun foo() { {f: 1, g: 0}; } }