command_read
int command_read(int argc, char *argv[]);
{ "read", "read input from the terminal", command_read }, \
