#include #include int main(void){ write(1,"Hello World!\n",13); exit(0); }