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