method revert () =
    call_method_void sv "revert" []