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]