Constant SSL_OP_CRYPTOPRO_TLSEXT_BUG 

pub const SSL_OP_CRYPTOPRO_TLSEXT_BUG: u64 = 0x80000000;