uses Core; file BenchOps.cpp.mine, BenchOps.cpp.r10063, BenchOps.cpp.r10157, BenchOps.cpp; mainconfig "" = "MT";