method safe =
    bool_of_sv (call_method sv "safe" [])