C++ Proposal: Ascii character manipulation