[Boost-users] Boost.tokenizer and char_separator