module CORBA {
  typedef unsigned short ServiceOption;
  typedef unsigned short ServiceDetailType;
  exception UserException {};
};