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