pipecmd_argv • man page