Constant SOCKET_WITH_OPTIONS 

pub const SOCKET_WITH_OPTIONS: u64 = 0x2cc3e654e776d7c8 /* 3_225_675_010_462_373_832u64 */;