#include <stdio.h>

char s[] = "Hello world\n";

int main() {
  printf(s);
  return 0;
}