MODULE TCharBounds;
// CHAR bounds + CHAR indexing. Exit 3.
TYPE CArr = ARRAY ['a'..'c'] OF INTEGER;
VAR ExitCode : INTEGER;
VAR a : CArr;
VAR c : CHAR;
BEGIN
  a['a'] := 1;
  a['b'] := 2;
  a['c'] := 3;
  c := 'b';
  ExitCode := a[c] + a['a']
END TCharBounds.