let index loc _te i = L0depl (loc, Pidx i)