5024 /* p: exit code */