/* This C source can be compiled with:
tcc -o hello hello.c or if you have more time:
gcc -o hello hello.c
*/
#include <stdlib.h>
#include <stdio.h>
int main(int argc, char **argv) {
    printf("Hello World\n");
    return 0;
}