MODULE TOpen1DSizeAdr;
(* M4: 1-D payload SIZE and open-array ADR base. *)
FROM SYSTEM IMPORT ADDRESS, ADR;
TYPE Vec = ARRAY [0..3] OF INTEGER;
VAR ExitCode : INTEGER;
    v : Vec;

PROCEDURE Check (a : ARRAY OF INTEGER) : BOOLEAN;
BEGIN
  RETURN (SIZE(a) = 16) AND (TSIZE(a) = 16)
         AND (ADR(a) = ADR(a[0]))
END Check;

BEGIN
  IF Check(v) AND (SIZE(v) = 16) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TOpen1DSizeAdr.