private static void inc(byte[] block) { // assert block.Length == 16; for (int i = 15; i >= 12; --i) { byte b = (byte)((block[i] + 1) & 0xff); block[i] = b; if (b != 0) { break; } } }