module Counter {
  interface Count {
    attribute long sum;
    long increment ();
    void getSum(out long sum);
  };
};