pipefile
extern void finish(int), help(int), pipefile(int), pipeout(int);
{ '|', NORM, "pipe remote file", pipefile },