zend_fetch_list_dtor_id   86 Zend/zend_list.h ZEND_API int zend_fetch_list_dtor_id(char *type_name);
zend_fetch_list_dtor_id  114 Zend/zend_list.h         le_id = zend_fetch_list_dtor_id(le_type_name); \