I wonder if making the index uppercase is strictly better in this sense, or if both upper and lowercase have chars that take more bytes.