Constant OPTION_LOG_SERVERS 

pub const OPTION_LOG_SERVERS: u32 = 7u32;