main(){
  printf("Hi there\n");
  };