if(true)
  fork();
printf("PID: %d\n", getpid());