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