Index of class ADT.Struct()->int32