let p_app5 f a b c d e = F.p_call f [F.wrap a; F.wrap b; F.wrap c; F.wrap d;
                                       F.wrap e]