arglist 2> /dev/stdout" r+} pipe]} {