let loc_ep = Tools.get_prev_loc