program()
type
  Color = (red, green, blue)

begin
  assert(#min(Single) = -#max(Single));
  assert(#min(Double) = -#max(Double));
  assert(#min(Char) = `\0`);
  assert(#max(Char) = `\{U+10FFFF}`);
  assert(#min(Color) = Color.red);
  assert(#max(Color) = Color.blue)
end.