char *debuggerPrintType(Type *t)
static char *debuggerPrintType(Type *t)
char *debuggerPrintType(Type *t){  char buffer[1024];    static char buffer2[1024];    if(t->type == TYPE_pointer) {    if(t->pointer)      strcpy(buffer, debuggerPrintType(t->pointer));    else      strcpy(buffer, "void");    sprintf(buffer2, "%s *", buffer);    return buffer2;  } else if(t->type == TYPE_reference) {    strcpy(buffer, debuggerPrintType(t->pointer));    sprintf(buffer2, "%s &", buffer);    return buffer2;      }  return t->name;}