First pass at a coverage FSM