let
e_app5 f a b c d e =
unwrap (e_call f [wrap a;wrap b;wrap c;wrap d; wrap e])