PHP_JSON_API       42 ext/json/json.c PHP_JSON_API zend_class_entry *php_json_serializable_ce;
PHP_JSON_API      601 ext/json/json.c PHP_JSON_API void php_json_encode(smart_str *buf, zval *val, int options TSRMLS_DC) /* {{{ */
PHP_JSON_API      662 ext/json/json.c PHP_JSON_API void php_json_decode_ex(zval *return_value, char *str, int str_len, int options, long depth TSRMLS_DC) /* {{{ */
PHP_JSON_API       52 ext/json/php_json.h PHP_JSON_API void php_json_encode(smart_str *buf, zval *val, int options TSRMLS_DC);
PHP_JSON_API       53 ext/json/php_json.h PHP_JSON_API void php_json_decode_ex(zval *return_value, char *str, int str_len, int options, long depth TSRMLS_DC);
PHP_JSON_API       54 ext/json/php_json.h extern PHP_JSON_API zend_class_entry *php_json_serializable_ce;