C++ Proposal: fixed size strings