method
success =
let
sv = call_method sv
"success"
[]
in
bool_of_sv sv