printf ::= #foreign("printf","libc.so.6") fn(#C &"const char", #C ..) #C int;


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

main ::= fn() {
	 f(3,4 as typeof f(3,4));
};