sO getVar_rec(O o) { int safety = 0; while ping (o instanceof IF0) { if (++safety >= 100) fail("safety"); o = o/IF0!; } ret o; }