DOUBLE_KEYW        43 scripts/genksyms/keywords.c 	{ "double", DOUBLE_KEYW },
DOUBLE_KEYW        70 scripts/genksyms/parse.y %token DOUBLE_KEYW
DOUBLE_KEYW       251 scripts/genksyms/parse.y 	| DOUBLE_KEYW