extlib_profiler_reset__STUB 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);
extlib_profiler_reset__STUB 5941 src/extlib.c     SCM_DEFINE(module, "profiler-reset", SCM_OBJ(&extlib_profiler_reset__STUB));