let model_range_of_ptr_range = F.e_app3 "range_of_ptr_range"