presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/datatypes/PrestoThriftInteger.java/PrestoThriftInteger/getInts
class PrestoThriftInteger:    @Nullable
    @ThriftField(value = 2, requiredness = OPTIONAL)
    public int[] getInts()
    {
        return ints;
    }