do_system         746 execwrappers.cpp extern int do_system (const char *line);
do_system         756 execwrappers.cpp     return do_system ("exit 0") == 0;
do_system         758 execwrappers.cpp   int result = do_system (line);