let
e_call f ts =
Tcall
(f,ts)