% 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