/* ARGC must be 2; *ARGV[1] is '0' if stdin and stdout are files, '1'
if they are pipes, and '2' if they are closed. Check for proper
/* ARGC must be 2; *ARGV[1] is '0' if stdin and stdout are files, '1'
if they are pipes, and '2' if they are closed. Check for proper