begin
  assert(#max(Word8) = 255u8);
  assert(#max(Word16) = 65535u16);
  assert(#max(Word32) = 4294967295u32);
  assert(#max(Word64) = 18446744073709551615u64)
end.