extlib_dotted_listP__STUB  459 src/extlib.c   static SCM_DEFINE_SUBR(extlib_dotted_listP__STUB, 1, 0, SCM_OBJ(&extlib_dotted_listP__NAME), extlib_dotted_listP, NULL, NULL);
extlib_dotted_listP__STUB 6212 src/extlib.c     SCM_DEFINE(module, "dotted-list?", SCM_OBJ(&extlib_dotted_listP__STUB));