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