let
p_call f xs =
PRED
.p_call f xs