syslib_sys_mktime__STUB 1818 src/syslib.c   static SCM_DEFINE_SUBR(syslib_sys_mktime__STUB, 1, 0, SCM_OBJ(&syslib_sys_mktime__NAME), syslib_sys_mktime, NULL, NULL);
syslib_sys_mktime__STUB 2810 src/syslib.c     SCM_DEFINE(module, "sys-mktime", SCM_OBJ(&syslib_sys_mktime__STUB));