method ct =
    let sv = call_method sv "ct" [] in
    string_of_sv sv