@$pb.TagNumber(3) $core.int get extraInt32Value => $_getIZ(2);
@$pb.TagNumber(3) set extraInt32Value($core.int v) { $_setSignedInt32(2, v); }