MODULE TDer;
VAR x : INTEGER;
BEGIN x^ := 1
END TDer.