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