Don't track MAXIMUM_SYNCKEY_COUNTER for now.
cs