extlib_profiler_reset__NAME 5833 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_profiler_reset__NAME, "profiler-reset", 14, 14);
extlib_profiler_reset__NAME 5834 src/extlib.c   static SCM_DEFINE_SUBR(extlib_profiler_reset__STUB, 0, 0, SCM_OBJ(&extlib_profiler_reset__NAME), extlib_profiler_reset, NULL, NULL);