int main() {
  printf("Halo, welt!");
  return 0;
}