//-*-c++-*- typedef std::map T!class_ptrmap!; extern T!class_ptrmap! !class_ptrmap!; static void !class_varname!_free(void *p); static void !class_varname!_mark(void *p); static void !class_varname!_free_map_entry(void *p);