pipecmd_argf • man page