on a function pointer formal argument called "destructor", which is typedeffed
as a different function pointer type in object.h.