The number of repetitions of a `rpt` repeat-body remaining. Note that
any *exception* detected when `$REPEAT_COUNT` is non-zero will be
treated as malign (including Debug exceptions).

## Note

The value of this register is retained between worker exit and launch.

::: spec
repeat_count_width_0xf91c7131e8ca1572

`$REPEAT_COUNT.VALUE` register field is 16 bits wide.