extern FILE *popen( char *, char * );
extern int pclose( FILE * );