* no need to wrap around zend_objects_destroy_object()