#include <stdio.h>

void a() {}
void bcd() {}

int main() {
  printf("Heeeello, world! %d\n", 42);
  return 0;
}