#include <stdio.h> #include <string.h> int main(int argc, char* argv[]) { printf("Hello world\n"); return(0); }