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