module Acronyms {
      
	typedef string<5> Acronym;
	
 	exception NoSuchAcronym{
		Acronym a;
	};

	struct Acronym_pair {
		Acronym   acron;
		string    expn;
	};

	typedef sequence <Acronym_pair> AcronymList;

   	interface AcronymServer {
		attribute AcronymList list;

		string expand (in Acronym a) raises (NoSuchAcronym);

		void redefine (in Acronym a, in string newexp)
                                                raises (NoSuchAcronym);

		void add (in Acronym a, in string expn);

                void delete (in Acronym a) raises (NoSuchAcronym);

	};


};