read_header        61 usr/server/exec/exec_execve.c static int	read_header(char *);
read_header       114 usr/server/exec/exec_execve.c 	if ((error = read_header(exec.path)) != 0)