command_read
COMMAND_SET(read, "read", "read input from the terminal", command_read);
static int command_read(int argc, char *argv[]);