static interface IVar<A> {
  void set(A a);
  A get();
  bool has();
  void clear();
}