start :: fn { a := 0 { b := 99999 { a := 99999 a } b a -= 1 } a <=> -1 }