Прошу прощения, что встреваю, просто чуть плотнее занялся O7:
## Код:
```
(* ============================================
MODULE   HelloWord;

VAR
      s, b, n :SET;

BEGIN

      n := 33; (* pos 57*)
      s := {1};
      b := n IN s; (* pos 84*)

END   HelloWord.

=============================================== *)

HelloWord
  pos 57 illegal assignment
  pos 84 not Integer
compilation FAILED
```
