Library core_bench.inline_benchmarks

The entry point for this library is module Inline_benchmarks_public.