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