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

Vel's code starts from b++ before calling u(--k), and therefore b=2 when it calls u(2). I verified it by showing the parameter.