char toLowerCase(const char c) { return c | 32; }