编写一个程序，使用getpid函数来获取当前进程的进程ID

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

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