PACKET bool DEFINES  XOR, true, false :
 
BOOL CONST true := TRUE ,
           false:= FALSE ;

BOOL OP XOR (BOOL CONST left, right) :
 
  IF left THEN NOT right
          ELSE right
  FI
 
ENDOP XOR ;
 
ENDPACKET bool ;