void debuggerPrintArray(Type *t, u32 value)
static void debuggerPrintArray(Type *t, u32 value)
void debuggerPrintArray(Type *t, u32 value){  // todo  printf("(%s[])0x%08x", debuggerPrintType(t->array->type), value);}