use a virtual do_gc() function instead of virtual destructor; gives more freedom in choice of memory allocation