RFONT_DEF_FACE    643 src/fontset.c        if (FIXNUMP (RFONT_DEF_FACE (rfont_def))
RFONT_DEF_FACE    644 src/fontset.c  	  && XFIXNUM (RFONT_DEF_FACE (rfont_def)) < 0)
RFONT_DEF_FACE   1007 src/fontset.c        if (FIXNUMP (RFONT_DEF_FACE (rfont_def)))
RFONT_DEF_FACE   1008 src/fontset.c  	face_id = XFIXNUM (RFONT_DEF_FACE (rfont_def));