I believe that modern Linux and FreeBSD implementations use 32 bit ints for the pid_t. There will never be that many processes on a 32 bit OS, but since they just go forward until they wrap, getting a pid bigger than 16 bits is probably even to be expected.
> On Aug 6, 2014, at 11:43 AM, Alexander Burger <a...@software-lab.de> wrote: > I've fixed it now for pil64. I do not want to fix it for pil32, because > it is (1) more difficult and error-prone in C than in assembly, and (2) > because I believe that on 32-bit machines a 16-bit PID will always be > sufficient. -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe