We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
MODULE Fault; VAR i: INTEGER; a: ARRAY 1 OF INTEGER; BEGIN i := -32768; a[i] := 0 END Fault.