@@ -38,10 +38,11 @@ // Returns the currently active GC id. Asserts that there is an active GC id. static const uint current(); // Same as current() but can return undefined() if no GC id is currently active static const uint current_raw(); static const uint undefined() { return UNDEFINED; } + static size_t print_prefix(char* buf, size_t len); }; class GCIdMark : public StackObj { uint _gc_id; public: