#include <stdio.h>

int main (int argc, char **argv) {

  printf ("Hello, world\n");

  return 0;
}