[Gm2] LENGTH and Length report different lengths

[John O Goyo]

Witness.

=================================
abilio[109]=> cat tstLength.mod
MODULE tstLength;

FROM M2RTS IMPORT Length;
FROM StrIO IMPORT WriteLn, WriteString;
FROM NumberIO IMPORT WriteCard;

VAR
  s :ARRAY[1..5] OF CHAR;
BEGIN
  s := "What?";

  WriteString("LENGTH(s) reports ");
  WriteCard(LENGTH(s), 4); WriteLn;

  WriteString("Length(s) reports ");
  WriteCard(Length(s), 4); WriteLn;

END tstLength.
abilio[110]=> gm2 -c -Wiso tstLength.mod
abilio[111]=> gm2 -o tstLength -I. tstLength.mod
abilio[112]=> ./tstLength
LENGTH(s) reports    1
Length(s) reports    5
=================================

I believe that they should agree.

Sincerely,
john