let model_range_of_ptr = F.e_app2 "range_of_ptr"