void debuggerPrintEnum(Type *t, u32 value)
static void debuggerPrintEnum(Type *t, u32 value)
void debuggerPrintEnum(Type *t, u32 value){  int i;  for(i = 0; i < t->enumeration->count; i++) {    EnumMember *m = (EnumMember *)&t->enumeration->members[i];    if(value == m->value) {      printf(m->name);      return;    }  }  printf("(UNKNOWN VALUE) %d", value);}