///|
fn main {
  let log = "download \u{1b}[32mfinished\u{1b}[0m\n" +
    "open \u{1b}]8;;https://example.com\u{1b}\\documentation\u{1b}]8;;\u{1b}\\\n"
  let result = @termproof.audit(log, policy=@termproof.Policy::strict())
  println(@termproof.summary_line(result))
  println("Safe text:\n\{result.plain_text}")
  println(@termproof.report_json(result))
}