command_include
COMMAND_SET(include, "include", "read commands from a file", command_include);
COMMAND_SET(include, "include", "read commands from a file", command_include);
static int command_include(int argc, char *argv[]);