MODULE TFwdSel;
// Forward module-level variables used through an array-index selector
// (t_fwdvar exercises the selector-less case).  Exit 42.
VAR ExitCode : INTEGER;

PROCEDURE Init;
BEGIN
  arr[0] := 41; arr[1] := 1;
  IF (arr[0] + arr[1]) = 42 THEN ok := TRUE END
END Init;

VAR arr : ARRAY [0..3] OF INTEGER;
VAR ok  : BOOLEAN;

BEGIN
  Init;
  IF ok THEN ExitCode := 42 ELSE ExitCode := 1 END
END TFwdSel.