as the instructions-retired counter, instret, may be entirely read-only zero; and likewise for sip and sie, or in U-mode cause an architectural guarantee of eventual forward progress axiom is intended to be scattered by