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