syslib_current_time__STUB 1609 src/syslib.c   static SCM_DEFINE_SUBR(syslib_current_time__STUB, 0, 0, SCM_OBJ(&syslib_current_time__NAME), syslib_current_time, NULL, NULL);
syslib_current_time__STUB 2820 src/syslib.c     SCM_DEFINE(module, "current-time", SCM_OBJ(&syslib_current_time__STUB));