/* Illustrate enumerated and bounded integer types */
typedef t = enum { a,b,c,d,e };

var x:sint[4],y:sint[4], z:t;

begin
  x = sint[4](2);
  y = random;
  z = a;
  if x==y then
    x = x + x;
    x = x-sint[4](3)*y;
    z = b;
  endif;
  if x<=y then
    z = e;
  endif;
  if z==d then z=c; endif;
end