ctr129.c: fix typo, simplify ctr128_inc and fix "n=0" bug.