blob: 220bf25a756b7c8e3f11de35878458ea838350c1 (
plain)
1
2
3
4
5
6
7
|
% 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
|