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