/* Nothing fancy here, just checking that we can compile hello world */
#include <stdio.h>

int main(void) {
    printf("Hello World!\n");
    return 0;
}