void debuggerSymbols(int argc, char **argv)
static void debuggerSymbols(int argc, char **argv)
void debuggerSymbols(int argc, char **argv){  int i = 0;  u32 value;  u32 size;  int type;  bool match = false;  int matchSize = 0;  char *matchStr = NULL;    if(argc == 2) {    match = true;    matchSize = strlen(argv[1]);    matchStr = argv[1];  }  printf("Symbol               Value    Size     Type   \n");  printf("-------------------- -------  -------- -------\n");  char *s = NULL;  while((s = elfGetSymbol(i, &value, &size, &type))) {    if(*s) {      if(match) {        if(strncmp(s, matchStr, matchSize) != 0) {          i++;          continue;        }      }      char *ts = "?";      switch(type) {      case 2:        ts = "ARM";        break;      case 0x0d:        ts = "THUMB";        break;      case 1:        ts = "DATA";        break;      }      printf("%-20s %08x %08x %-7s\n",             s, value, size, ts);    }    i++;  }}