unsigned num_characters() const { return characters_.size(); }
std::size_t num_characters() const { return characters_.size(); }