Index of class ADT.Struct()->uint64