WDDX_BUF_LEN      393 ext/wddx/wddx.c 	char tmp_buf[WDDX_BUF_LEN];
WDDX_BUF_LEN      410 ext/wddx/wddx.c 	char tmp_buf[WDDX_BUF_LEN];
WDDX_BUF_LEN      434 ext/wddx/wddx.c 	char tmp_buf[WDDX_BUF_LEN];
WDDX_BUF_LEN      451 ext/wddx/wddx.c 			snprintf(tmp_buf, WDDX_BUF_LEN, WDDX_VAR_S, PHP_CLASS_NAME_VAR);
WDDX_BUF_LEN      483 ext/wddx/wddx.c 		snprintf(tmp_buf, WDDX_BUF_LEN, WDDX_VAR_S, PHP_CLASS_NAME_VAR);
WDDX_BUF_LEN      530 ext/wddx/wddx.c 	char tmp_buf[WDDX_BUF_LEN];