1 2 3 4 5 6 7 8
/* EXPECT: hello world */ #include <stdio.h> int main(int argc, char **argv) { printf("hello world\n"); }