Binding php_printf to ZEND_ECHO