let model_pointer_of_addr : D.integer -> D.pointer =
    D.e_app1 "pointer_of_addr"