@$pb.TagNumber(2) $4.Details get details => $_getN(1);
@$pb.TagNumber(2) set details($4.Details v) { setField(2, v); }