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