t_bool.mod 53 B

12345
  1. MODULE T;
  2. VAR b : BOOLEAN;
  3. BEGIN
  4. b := NOT 1
  5. END T.