std::ostream& operator<< (std::ostream& os, std::vector<T> const& x)
JRPS::JrPs_opstream& operator<< (JRPS::JrPs_opstream& os, const TDBValue* p)
std::ostream& operator<< (std::ostream& os, std::vector<T> const& x){    os << x.size() << " ";    for(typename std::vector<T>::const_iterator i = x.begin(); i < x.end(); i++)        {        os << (*i) << " ";        }    os << '\n';    return os;}