This Std module is expected to be opened.
module Bench : Bench
Please look at Bench