#include #include int main(void) { printf("hello world\n"); exit(42); }