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