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