map1c_cc         1631 src/intlib.c        Scm_VMPushCC(map1c_cc, data, 4);
map1c_cc         1657 src/intlib.c     Scm_VMPushCC(map1c_cc, data, 4);