PHP_PRINT         295 gtags-parser/php_res.h       {"print", PHP_PRINT},
PHP_PRINT         300 gtags-parser/php_res.h       {"Print", PHP_PRINT},
PHP_PRINT         446 gtags-parser/php_res.h       {"PRINT", PHP_PRINT},