VAR
  
  a[3]
  b[3]
  c[3]

DEFINE

  b :=
    switch(a) {
      0 : 1;
      1 : 2;
      2 : 3;
      3 : 4;
      4 : 5;
      5 : 6;
      6 : 7;
      7 : 0;
    };
  
  c :=
    case
      a = 0 : 1;
      a = 1 : 2;
      a = 2 : 3;
      a = 3 : 4;
      a = 4 : 5;
      a = 5 : 6;
      a = 6 : 7;
      1 : 0;
    esac;
  
SPEC
  
  c = b
