/* Worked C source. Not the question's hello.c. Not compiled. */
int main(void) {
    return 0;
}