int mapChar(unsigned char c);