command_include
int command_include(int argc, char *argv[]);
{ "include", "read commands from a file", command_include }, \
