///|
fn main {
  let report = @lease.run_failover_simulation(50000, ttl=7)
  println("cycles=\{report.cycles}")
  println("leases_acquired=\{report.leases_acquired}")
  println("writes_accepted=\{report.writes_accepted}")
  println("stale_writes_rejected=\{report.stale_writes_rejected}")
  println("final_token=\{report.final_token}")
  println("audit_valid=\{report.audit_valid}")
  println("evidence=\{report.evidence}")
}