PS_EXEC           434 usr/server/exec/exec_execve.c 		m.hdr.code = PS_EXEC;
PS_EXEC           107 usr/server/proc/main.c 	{PS_EXEC,	proc_exec},