php_wddx_add_var  724 ext/wddx/wddx.c 			php_wddx_add_var(packet, *val);
php_wddx_add_var 1216 ext/wddx/wddx.c 		php_wddx_add_var(packet, *args[i]);
php_wddx_add_var 1325 ext/wddx/wddx.c 		php_wddx_add_var(packet, (*args[i]));