sclass VarWithPrevAndNext<A> implements IHasPrevAndNext<VarWithPrevAndNext<A>> {
  VarWithPrevAndNext<A> prev, next;
  
  VarWithPrevAndNext<A> prev() { ret prev; }
  VarWithPrevAndNext<A> next() { ret next; }
}