WDDX_BUF_LEN      424 wddx/wddx.c    	char tmp_buf[WDDX_BUF_LEN];
WDDX_BUF_LEN      462 wddx/wddx.c    	char tmp_buf[WDDX_BUF_LEN];
WDDX_BUF_LEN      480 wddx/wddx.c    			snprintf(tmp_buf, WDDX_BUF_LEN, WDDX_VAR_S, PHP_CLASS_NAME_VAR);
WDDX_BUF_LEN      514 wddx/wddx.c    		snprintf(tmp_buf, WDDX_BUF_LEN, WDDX_VAR_S, PHP_CLASS_NAME_VAR);
WDDX_BUF_LEN      563 wddx/wddx.c    	char tmp_buf[WDDX_BUF_LEN];