let filter g ts =
                  Tools.keep_prev_loc (Token.Filter.filter g.gfilter ts)