Was Ada Lovelace's first ever recognized program, an algorithm for producing Bernoulli numbers on Babbage's Analytical Engine, ever practically tested? Were there any bugs?