Index of class ADT.Struct()->int64