(* Generated by SimpleM backend *)
MODULE TDer;
VAR
  x : INTEGER;
BEGIN
  x^ := 1
END TDer.