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

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