php_wddx_destructor   58 wddx/php_wddx_api.h void		 php_wddx_destructor(wddx_packet *packet);
php_wddx_destructor  281 wddx/wddx.c    	php_wddx_destructor(packet);