Index of class __builtin.Nettle.AEAD()->State