/* Example program: say Hi. */
#include <stdio.h>

int main() {
    setbuf(stdout, NULL);
    printf("Hello World!\n");
    return 0;
}