@$pb.TagNumber(4) $40.Value get maximum => $_getN(3);
@$pb.TagNumber(4) set maximum($40.Value v) { setField(4, v); }