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