auxsyslib_sys_times__NAME  527 ext/auxsys/auxsyslib.c static SCM_DEFINE_STRING_CONST(auxsyslib_sys_times__NAME, "sys-times", 9, 9);
auxsyslib_sys_times__NAME  528 ext/auxsys/auxsyslib.c static SCM_DEFINE_SUBR(auxsyslib_sys_times__STUB, 0, 0, SCM_OBJ(&auxsyslib_sys_times__NAME), auxsyslib_sys_times, NULL, NULL);