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