void main(void) {
      printf("%s","Hello world");
}