let shift_index loc i = D1depl (loc, Pidx i)