Create test_microcoverage_ex.jl.mcov.correct