And just for posterity, rillig@ gave a detailed explanation at
https://stackoverflow.com/questions/9972359/warning-array-subscript-has-type-char
And just for posterity, rillig@ gave a detailed explanation at
https://stackoverflow.com/questions/9972359/warning-array-subscript-has-type-char