(*options:{"checkIndexes": true}*)
MODULE m;

PROCEDURE readCharArray(a: ARRAY OF CHAR);
VAR
	c: CHAR;
BEGIN
	c := a[1];
	c := a[ORD(a[1])]
END readCharArray;

PROCEDURE writeCharArray(VAR a: ARRAY OF CHAR);
VAR
	c: CHAR;
BEGIN
	a[1] := c;
	a[ORD(a[1])] := c;
END writeCharArray;

PROCEDURE readIntArray(a: ARRAY OF INTEGER);
VAR
	i: INTEGER;
BEGIN
	i := a[1];
	i := a[a[i]]
END readIntArray;

PROCEDURE writeIntArray(VAR a: ARRAY OF INTEGER);
VAR
	i: INTEGER;
BEGIN
	a[1] := i;
END writeIntArray;

PROCEDURE multiDimArray(i, j: INTEGER);
VAR
	a: ARRAY 5, 5 OF INTEGER;
BEGIN
	a[1][2] := a[3, 4];
END multiDimArray;

END m.