Oh, what I mean is that you store the return value of getpid() in PlatformInit(). It's possible the OS assigns the pid to another process, of course, but that's unlikely; all the major Unices try hard to avoid recycling pids.