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