Edit: waitstatus.h