repl_prompt_cc    138 src/repl.c             Scm_VMPushCC(repl_prompt_cc, data, 4);
repl_prompt_cc    144 src/repl.c             return repl_prompt_cc(SCM_UNDEFINED, (void**)data);