let
model_range_of_ptr_range =
F
.e_app3
"range_of_ptr_range"