39a40,42
> // Logical register index type.
> typedef uint16_t RegIndex;
>