syslib_sys_time__STUB 1594 src/syslib.c   static SCM_DEFINE_SUBR(syslib_sys_time__STUB, 0, 0, SCM_OBJ(&syslib_sys_time__NAME), syslib_sys_time, NULL, NULL);
syslib_sys_time__STUB 2821 src/syslib.c     SCM_DEFINE(module, "sys-time", SCM_OBJ(&syslib_sys_time__STUB));