php_wddx_destructor   57 ext/wddx/php_wddx_api.h void		 php_wddx_destructor(wddx_packet *packet);
php_wddx_destructor  251 ext/wddx/wddx.c 	php_wddx_destructor(packet);