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