presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/valuesets/PrestoThriftRangeValueSet.java/PrestoThriftBound/PrestoThriftBound
class PrestoThriftBound:        PrestoThriftBound(int value)
        {
            this.value = value;
        }