php_wddx_add_var  723 ext/wddx/wddx.c 			php_wddx_add_var(packet, *val);
php_wddx_add_var 1203 ext/wddx/wddx.c 		php_wddx_add_var(packet, *args[i]);
php_wddx_add_var 1312 ext/wddx/wddx.c 		php_wddx_add_var(packet, (*args[i]));