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