///|
fn main {
  println(
    @src.format_official_spec_report_markdown(@src.run_official_spec_report()),
  )
}