PHP_DOLLAR       1220 gtags-parser/php.c { ECHO; return PHP_DOLLAR; }
PHP_DOLLAR       2204 gtags-parser/php.c 		case PHP_DOLLAR: