#include <stdio.h>

int main(int argc, char **argv) {
  fputs("Hello, world!\n", stdout);
  return 0;
}