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