///|
fn main {
  println("MoonBit Loop Invariants Examples")
  println("Run \"moon test\" to execute all tests")
}