char_resolve_modifier_mask  107 src/character.c       c = char_resolve_modifier_mask (c);
char_resolve_modifier_mask  892 src/character.c   return make_fixnum (char_resolve_modifier_mask (c));
char_resolve_modifier_mask  963 src/lread.c    	  : make_fixnum (char_resolve_modifier_mask (XFIXNUM (val))));
char_resolve_modifier_mask 1041 src/lread.c    	  : make_fixnum (char_resolve_modifier_mask (XFIXNUM (val))));