const RUSTC_COVERAGE_DEBUG_OPTIONS: &'static str = "RUSTC_COVERAGE_DEBUG_OPTIONS";