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