#include <stdio.h>#include <sys/types.h>
int main(int argc, char *argv[]){printf("The current process ID is %d\n",getpid());return 0;}