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

main::=fn(){
	s := "Hello %d\n\0";
	printf(&s[0], 5);
	
};
main();