Constant MYSQL_TAGGED_GTIDS_VERSION_SUPPORT 

pub const MYSQL_TAGGED_GTIDS_VERSION_SUPPORT: u32 = 80300;