MAX_COUNTER_VALUE_32BIT = 4294967294

Maximum 32 bit counter value.