let
p_call p ts =
Pcall
(p,ts)