def hello :
	fn .
	printf _ "hello, world\n"

def printf :