let index loc _te i = F.shift_index loc i