MODULE TVarAddress;
(* Absolute variable: no storage is emitted; ADR is the fixed address. *)
FROM SYSTEM IMPORT ADDRESS, VAL, ADR;
VAR ExitCode : INTEGER;
    v [0x1000] : CARDINAL;
    p : ADDRESS;
BEGIN
  p := ADR(v);
  IF p = VAL(ADDRESS, 0x1000) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TVarAddress.