@$pb.TagNumber(2) $core.int get sequence => $_getIZ(1);
@$pb.TagNumber(2) set sequence($core.int v) { $_setUnsignedInt32(1, v); }