method
as_string =
string_of_sv (call_method sv
"as_string"
[])