#include <stdlib.h> #include <unistd.h> int main(void) { write(1,"hello world\n",12); _exit(42); }