let e_call f ts = TERM.e_call f ts