Listing: 1 MODULE TBadDeref; 2 VAR p : POINTER TO INTEGER; x : INTEGER; ***** ^ not supported in this phase 3 BEGIN 4 x := 1; 5 x := p^ ***** ^ not supported in this phase 6 END TBadDeref. 2 errors