var
  c: char;
  b: boolean;
  d: (red, green);
  e: 1..3;
  f: 'b'..'f';

begin
  c := 'a';
  case c of
    'a': assert(c = 'a');
    'b': assert(c = 'b');
  end;
  c := 'b';
  case c of
    'a'..'c': assert(c = 'b');
    'd': assert(c = 'd');
  end;
  b := true;
  case b of
    true: assert(b = true);
    false: assert(b = false);
  end;
  case b of
    false..true: assert(b = true);
  end;
  d := green;
  case d of
    red: assert(d = red);
    green: assert(d = green);
  end;
  e := 2;
  case e of
    1: assert(e = 1);
    2..3: assert(e = 2);
  end;
  f := 'd';
  case f of
    'a', 'b', 'c': assert(f <> 'd');
    'd', 'e': assert(f = 'd');
  end;
  
end.