@$pb.TagNumber(7) $4.Timestamp get whenSubstituted => $_getN(6);
@$pb.TagNumber(7) set whenSubstituted($4.Timestamp v) { setField(7, v); }