[Boost-users] using '\0' as separator in char_separator and tokenizer classes