int main(void)
{
	write(2, "Hello World!\n\0", 16);
	return 0;
}