let p_call f xs = PRED.p_call f xs