Adding guards to expose bugs in the RTC and IC2 HW models.