let e_call f ts = Tcall(f,ts)