let drop_prev_loc = Tools.drop_prev_loc