map1cc_cc        1677 src/intlib.c        Scm_VMPushCC(map1cc_cc, data, 5);
map1cc_cc        1708 src/intlib.c     Scm_VMPushCC(map1cc_cc, data, 5);