#include #include #include int main(void) { printf("%d\n", getpid()); }