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