pub const ROOT_DETPID: DetPid;
A convention of how we set up our PID namespace leaves us with a starting pid of 3.