Module Core_bench.Std

This Std module is expected to be opened.

module Bench = Bench

Please look at Bench