taglinefilesource code
close_readexec403fs/exec.cgoto close_readexec;
close_readexec406fs/exec.cgoto close_readexec;
close_readexec410fs/exec.cclose_readexec: