Constant OPTION_COOKIE_SERVERS 

pub const OPTION_COOKIE_SERVERS: u32 = 8u32;