public void Add(char c) { int div = c >> 5; flags[div] |= 0x80000000U >> (c & 0x1f); if (div > lastDirty) lastDirty = div; }