- printf("ALLOC\t=\t0x%08X\n",
- (unsigned long)dynamic_space_free_pointer);
- printf("TRIGGER\t=\t0x%08lx\n", (unsigned long)current_auto_gc_trigger);
+ printf("STATIC\t=\t0x%08lx ",
+ (unsigned long)SymbolValue(STATIC_SPACE_FREE_POINTER, thread));
+ printf("RDONLY\t=\t0x%08lx ",
+ (unsigned long)SymbolValue(READ_ONLY_SPACE_FREE_POINTER, thread));
+ printf("DYNAMIC\t=\t0x%08lx\n", (unsigned long)current_dynamic_space);
+#endif
+
+#ifdef reg_ALLOC
+ printf("ALLOC\t=\t0x%08lx\n", (unsigned long)dynamic_space_free_pointer);
+#else
+ printf("ALLOC\t=\t0x%08lx\n",
+ (unsigned long)SymbolValue(ALLOCATION_POINTER, thread));