def pipe(cmd, txt):
return Popen(<EOL>cmd2args(cmd),<EOL>stdout=subprocess.PIPE,<EOL>stdin=subprocess.PIPE,<EOL>shell=win32<EOL>).communicate(txt)[<NUM_LIT:0>]<EOL>
Pipe `txt` into the command `cmd` and return the output.