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