sclass WithIntArray<A> extends Var<A> {
  int[] array; // assumed between 0 and 1
  
  *() {}
  *(int[] *array, A a) { super(a); }
  
  toString {
    ret super.toString() + (array == null ? "" : " with array of size " + l(array));
  }
}