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