@record r {a, b}; tr = r(); printf("%a\n", tr.a); printf("%a\n", tr.b);