#include <stdlib.h>
#include <stdio.h>
const char *f = "foo";
int main(void) {
printf("hello world %s\n", f);
exit(42);
}