Listing:

    1  MODULE TBadDeref;
    2  VAR x : INTEGER; y : INTEGER;
    3  BEGIN
    4    x := 1;
    5    y := x^
*****          ^ not a POINTER type
    6  END TBadDeref.

    1 error