auxsyslib_sys_times__STUB  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);
auxsyslib_sys_times__STUB  881 ext/auxsys/auxsyslib.c   SCM_DEFINE(module, "sys-times", SCM_OBJ(&auxsyslib_sys_times__STUB));