let shift loc _te i = F.shift_pointer loc i