puti ::= fn(x: int) { #C("printf(\"%ld\\n\", (long)x); "); }; putf ::= fn(x: float) { #C("printf(\"%f\\n\", (double)x); "); }; point ::= pkg "point"; main ::= fn() { x : point.Point = point.mk_point(y = 13, 14); puti(x.x + x.y); point.x = new(int,10); };