Andreas Rheinhardt:
> These functions allow not only to read and write unsigned values,
> but also to check ranges and to emit trace output which can be
> beautified when processing arrays (indices like "[i]" are replaced
> by their actual numbers).
>
> Yet lots of callers actually only need
These functions allow not only to read and write unsigned values,
but also to check ranges and to emit trace output which can be
beautified when processing arrays (indices like "[i]" are replaced
by their actual numbers).
Yet lots of callers actually only need something simpler:
Their range is
