}
+bool isAscii(string const & str)
+{
+ int const len = str.length();
+ for (int i = 0; i < len; ++i)
+ if (static_cast<unsigned char>(str[i]) >= 0x80)
+ return false;
+ return true;
+}
+
+
char lowercase(char c)
{
BOOST_ASSERT(static_cast<unsigned char>(c) < 0x80);