CALL t.name (e.arg_in) (e.arg_out)

tfun int t.name (e.arg_in_1, e.arg_in_2, ... , tout e.arg_out_1, tout e.arg_out_2)