Constant ERROR_DS_SERVER_DOWN 

pub const ERROR_DS_SERVER_DOWN: u32 = 8250;