#include <stdio.h> 

int main(int argc, char *argv[]) 
{ 
   char msg[20+1] = "Hello world!";
   printf("%s \n", msg); 
   return 0; 
}