interface Counter { [Replaceable] readonly attribute unsigned long value; void increment(); }; interface Counter { [Replaceable] readonly attribute unsigned long value; void increment(); }; [Replaceable] readonly attribute unsigned long value; Replaceable void increment();