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