1 2 3 4 5
printf ::= #foreign("printf") fn(#C &"const char", #C ..); main::=fn(){ printf("Hello %d", 5); };