syslib_current_time__NAME 1608 src/syslib.c   static SCM_DEFINE_STRING_CONST(syslib_current_time__NAME, "current-time", 12, 12);
syslib_current_time__NAME 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);