///|
fn main raise {
  let postings = @eliasfano.from_values([
    1UL, 1UL, 2UL, 4UL, 18446744073709551615UL,
  ])
  let first = postings.page_distinct(None, 2)
  assert_eq(postings.page_distinct(first.next_after(), 2).values(), [
    4UL, 18446744073709551615UL,
  ])
  let terms = @louds.trie_from_terms([b"car", b"cart", b"cat", b"dog"])
  assert_eq(terms.fuzzy_terms(b"cat", 1).length(), 3)
  println(
    "Compressed postings paginate without duplicate gaps; LOUDS byte search tolerates bounded spelling edits",
  )
}