module Counter {
  exception NumberToBigException {
    string explanation;
  };
  interface Count {
    attribute octet sum;
    octet increment () raises(NumberToBigException);
  };
};