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