MODULE T;
VAR b : BOOLEAN;
BEGIN
  b := NOT 1
END T.