M2compiler-V3/compiler/tests/t_addreq.mod

MODULE TAddrEq;
(* ADDRESS/pointer equality: ADR(p^) is the pointer value p. *)
TYPE P = POINTER TO INTEGER;
VAR p : P;
    a : ADDRESS;
    ExitCode : INTEGER;
BEGIN
  NEW(p); p^ := 42;
  a := ADR(p^);
  IF a = p THEN ExitCode := 42 ELSE ExitCode := 1 END
END TAddrEq.