sO getVar_rec(O o) {
  while ping (o instanceof IVar) { o = o/IVar!; }
  ret o;
}