{Pred.PAS}
  ▀▀▀▀▀▀▀▀▀▀▀▀
 {Sample code for the Pred and Succ functions.}

  uses WinCrt;

  type
    Colors = (RED,BLUE,GREEN);
  begin
    Writeln('The predecessor of 5 is ',
            Pred(5));
    Writeln('The successor of 10 is ',
            Succ(10));
    if Succ(RED) = BLUE then
      Writeln('In the type Colors, RED is ',
              'the predecessor of BLUE.');
  end.