int cmd_help(char cmd[]) { int i; char available[]={" %d commands available:\n\r"}; if (NULL == cmd) { printf (available, NUM_OF_CMD); for (i = 0; i < NUM_OF_CMD; i++) printf(" %s\n\r", HELP_COMMANDS[i]); } else { for (i=0; i