Basically we know that `char` is a unicode codepoint, so we just need to account for the hole in the codepoints in the middle. Or at least that's my current understanding of unicode codepoints from listening to @thestinger talk about how bad our strings/chars are :)