#include <stdio.h>
  printf("Hello, world!\n");
  getchar();