1 2 3 4 5 6 7 8 9 10 11 12 13
MODULE badset2 ; FROM libc IMPORT printf ; VAR s: SET OF [1..10] ; c: CARDINAL ; BEGIN IF c # s THEN printf ("broken\n") END END badset2.