let loc_range = e_app2 mk_range