Symbol: MARK_COVERAGE