Does anyone know why the SchedulerPosix.Wait code (which originally came from ProcessPosix.m3 and is similar in SystemPosix.m3) was doing strange unpacking of the status word returned from waitpid? It seems to be unnecessary when waitpid is typed as: int waitpid (pid_t pid, int *status, int options)