method error_as_HTML =
    string_of_sv (call_method sv "error_as_HTML" [])