127a128,129
> protected:
> uint64_t next_PID;
128a131,137
> public:
> uint64_t allocatePID()
> {
> return next_PID++;
> }
>
>