// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
interface Counter {
  [Replaceable] readonly attribute unsigned long value;
  void increment();
};