WONKY

extern int printf(const char *format,...);


int main()
{
	return printf("Hello %s \n","world!");
}