let model_offset_of_pointer : D.pointer -> D.integer =
    D.e_app1 "offset_of_pointer"