// Generic Pointer class for passing by reference
public class Pointer {
  Object thing;

  public Pointer(Object t) { thing = t; }
}
