#include <stdio.h>
#include <sys/types.h>

int main(int argc, char *argv[])
{
printf("The current process ID is %d\n",getpid());
return 0;
}