• getpid() : debug.cc