#include <stdio.h>

int main(void)
{
  printf ("my pid is %d\n", getpid());
  getchar();
  return 0;
}
