Constant NTDSSETTINGS_DEFAULT_SERVER_REDUNDANCY 

pub const NTDSSETTINGS_DEFAULT_SERVER_REDUNDANCY: u32 = 2u32;