begin
  assert(0xff = 255u);
  assert(0X0f = 15u)
end.