//: initialization/Counter.java
// ©2015 MindView LLC: see Copyright.txt
public class Counter {
  int i;
  Counter() { i = 7; }
  // ...
} ///:~