text: namespace std
  {
    /*!
     * \brief vector documentation stub
     *
     * \warning
     * This isn't the real vector template.  It's just enough to get doxygen
     * to draw pretty collaboration diagrams.
     */
    template<class T> class vector
    {
    public:
      T		*p;
    };
  
  } // namespace std
  