#include "stdio.h"

int main(void) {
  printf("Hello world !\n");
  return 0;
}
