The atomic type specifier unsigned-byte denotes the same
type as is denoted by the type specifier (integer 0 *).
Abbreviating.
(unsigned-byte{[s | *]})
| s | a positive integer. |
This denotes the set of non-negative integers that can be
represented in a byte of size s (bits).
This is equivalent
to (mod m) for m=2^s, or
to (integer 0 n) for n=2^s-1.
The type unsigned-byte or
the type (unsigned-byte *) is the same as
the type (integer 0 *), the set of non-negative integers.