presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/valuesets/PrestoThriftRangeValueSet.java/PrestoThriftRange/getHigh
class PrestoThriftRange:        @ThriftField(2)
        public PrestoThriftMarker getHigh()
        {
            return high;
        }