Contents
#include <debug.h> struct ObjectID { // fields char str [32]; // construction ObjectID (void* obj); };