open StrongPointers

let landin bigf =
   let r = sref () in
   let g x = (!r) x in
   let f x = bigf g x in
   sset r f;
   f