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