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