INTEGER_8.prefix "-": ok
INTEGER_8.prefix "-": ok
INTEGER_8.abs: ok
INTEGER_8.infix "+": ok
INTEGER_8.infix "+": ok
INTEGER_8.infix "-": ok
INTEGER_8.infix "-": ok
INTEGER_8.infix "*": ok
INTEGER_8.infix "*": ok
INTEGER_8.infix "//": ok
INTEGER_8.infix "//": ok
INTEGER_8.infix "|<<": ok
INTEGER_8.infix "|<<": ok
INTEGER_8.infix "|<<": ok
INTEGER_8.bit_shift: ok
INTEGER_8.set_bit: ok
INTEGER_16.prefix "-": ok
INTEGER_16.prefix "-": ok
INTEGER_16.abs: ok
INTEGER_16.infix "+": ok
INTEGER_16.infix "+": ok
INTEGER_16.infix "-": ok
INTEGER_16.infix "-": ok
INTEGER_16.infix "*": ok
INTEGER_16.infix "*": ok
INTEGER_16.infix "//": ok
INTEGER_16.infix "//": ok
INTEGER_16.infix "|<<": ok
INTEGER_16.infix "|<<": ok
INTEGER_16.infix "|<<": ok
INTEGER_16.bit_shift: ok
INTEGER_16.set_bit: ok
INTEGER_32.prefix "-": ok
INTEGER_32.prefix "-": ok
INTEGER_32.abs: ok
INTEGER_32.infix "+": ok
INTEGER_32.infix "+": ok
INTEGER_32.infix "-": ok
INTEGER_32.infix "-": ok
INTEGER_32.infix "*": ok
INTEGER_32.infix "*": ok
INTEGER_32.infix "//": ok
INTEGER_32.infix "//": ok
INTEGER_32.infix "|<<": ok
INTEGER_32.infix "|<<": ok
INTEGER_32.infix "|<<": ok
INTEGER_32.bit_shift: ok
INTEGER_32.set_bit: ok
INTEGER_64.prefix "-": ok
INTEGER_64.prefix "-": ok
INTEGER_64.abs: ok
INTEGER_64.infix "+": ok
INTEGER_64.infix "+": ok
INTEGER_64.infix "-": ok
INTEGER_64.infix "-": ok
INTEGER_64.infix "*": ok
INTEGER_64.infix "*": ok
INTEGER_64.infix "//": ok
INTEGER_64.infix "//": ok
INTEGER_64.infix "|<<": ok
INTEGER_64.infix "|<<": ok
INTEGER_64.infix "|<<": ok
INTEGER_64.bit_shift: ok
INTEGER_64.set_bit: ok
NATURAL_8.infix "+": ok
NATURAL_8.infix "+": ok
NATURAL_8.infix "-": ok
NATURAL_8.infix "-": ok
NATURAL_8.infix "*": ok
NATURAL_8.infix "*": ok
NATURAL_8.infix "|<<": ok
NATURAL_8.infix "|<<": ok
NATURAL_8.bit_shift: ok
NATURAL_8.infix "|>>": ok
NATURAL_8.infix "|>>": ok
NATURAL_8.infix "|>>": ok
NATURAL_8.set_bit: ok
NATURAL_16.infix "+": ok
NATURAL_16.infix "+": ok
NATURAL_16.infix "-": ok
NATURAL_16.infix "-": ok
NATURAL_16.infix "*": ok
NATURAL_16.infix "*": ok
NATURAL_16.infix "|<<": ok
NATURAL_16.infix "|<<": ok
NATURAL_16.bit_shift: ok
NATURAL_16.infix "|>>": ok
NATURAL_16.infix "|>>": ok
NATURAL_16.infix "|>>": ok
NATURAL_16.set_bit: ok
NATURAL_32.infix "+": ok
NATURAL_32.infix "+": ok
NATURAL_32.infix "-": ok
NATURAL_32.infix "-": ok
NATURAL_32.infix "*": ok
NATURAL_32.infix "*": ok
NATURAL_32.infix "|<<": ok
NATURAL_32.infix "|<<": ok
NATURAL_32.bit_shift: ok
NATURAL_32.infix "|>>": ok
NATURAL_32.infix "|>>": ok
NATURAL_32.infix "|>>": ok
NATURAL_32.set_bit: ok
NATURAL_64.infix "+": ok
NATURAL_64.infix "+": ok
NATURAL_64.infix "-": ok
NATURAL_64.infix "-": ok
NATURAL_64.infix "*": ok
NATURAL_64.infix "*": ok
NATURAL_64.infix "|<<": ok
NATURAL_64.infix "|<<": ok
NATURAL_64.bit_shift: ok
NATURAL_64.infix "|>>": ok
NATURAL_64.infix "|>>": ok
NATURAL_64.infix "|>>": ok
NATURAL_64.set_bit: ok
Execution completed