User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-5529393-20140916022609/@comment-24061664-20140916100034

I virified Vel's code from k=3, b=1 for verification, showing parameters. In the main, u(2) is called. While loop ends when o=2, because 2*2 > 2. When it goes out of the while loop, i=2. And then u(2) is called again and it never ends.