method
ie encs =
string_of_sv (call_method sv
"ie"
(
List
.map sv_of_string encs))