% Replace seven_bits by eight_bits.

@x
@!seven_bits=0..127; {seven-bit numbers, a subrange of the integers}
@y
@!eight_bits=0..255; {eight-bit numbers, a subrange of the integers}
@z