Added more mrcc and coro_count guarantees.