Library core_bench

The entry point for this library is module Core_bench.