EMACS_INTEGER     703 lib-src/make-docfile.c 	case EMACS_INTEGER:
EMACS_INTEGER     901 lib-src/make-docfile.c 		    type = EMACS_INTEGER;