He's being misled by it saying counts[0] is a series of 11 zeroes and that counts[1] is a nonzero value. If the bug that oBFusCATed mentioned is that it should instead read that counts[0] is 0 repeated 11 times and that counts[11] is nonzero, that would seem to be the cause for confusion.