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() { f::=fn(t::Type)Type {t}; x:f(int) = 5; };