Module Core_bench.Import