Library core_profiler

The entry point for this library is module Core_profiler.