#include int c_main(int argc, char **argv) { printf("Hello, world.\n"); return 0; }