srecord VirtualVar<A>(IF0<A> getter, IVF1<A> setter) is IVar<A> {
  public void set(A a) { setter?.get(a); }
  public A get() { ret getter?.get(); }
}