1 
2 
3 #include <NTL/config.h>
4 
5 #include <cstdlib>
6 #include <cstdio>
7 
8 using namespace std;
9 
10 unsigned long _ntl_GetPID();
11 
12 
main()13 int main()
14 {
15    printf("%lu\n", _ntl_GetPID());
16    return 0;
17 }
18