// File: astring3.h
//
// A silly string class

#ifndef _astring_h
#define _astring_h

class AString {

public:
   AString() ;
   AString(const char *) ;
   AString(const AString&) ;
   int len() const ;

   char *str ;      // the string


private:
   mutable int length ;
} ;

#endif