let model_access : store -> D.integer -> D.abstract =
    D.e_app2 "access"