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(13, 14); };