puti ::= fn(x: int) {
	 #C("printf(\"%ld\\n\", (long)x);
");
};
putf ::= fn(x: float) {
	 #C("printf(\"%f\\n\", (double)x);
");
};

main ::= fn() {
	 puti(f(3));
	 puti(f(7));
	 puti(f(4));

	 f ::= fn(x :: int) y := x + 1 {  };

	 r ::= f(3);
	 puti(r);
	 s ::= f(7);
	 puti(s);
	 t ::= f(4);
	 puti(t);
	 
};