MODULE OChar; VAR a : ARRAY [1 .. 4] OF CHAR; ExitCode : INTEGER; PROCEDURE Count(VAR x : ARRAY OF CHAR) : INTEGER; BEGIN RETURN HIGH(x) + 1 END Count; BEGIN a := "test"; ExitCode := Count(a) END OChar.