let store_rec = ref (fun _ _ _ _ -> assert false)