/* Increment a 16 byte integer. 
This function increments by one a 16 byte integer. */
static void ctrIncrement(uint8_t *input)
/* Increment a 16 byte integer. 
This function increments by one a 16 byte integer. */
static void ctrIncrement(uint8_t *input)
{
    int i = 15;
    while (input[i] == (uint8_t)0xFFu)
    {
        input[i] = (uint8_t)0x00u;
        i--;
        if (i < 0)
        {
            return;
        }
    }
    if (i >= 0)
    {
        input[i] += (uint8_t)1u;
    }
}