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