Constant DMLERR_SERVER_DIED 

pub const DMLERR_SERVER_DIED: u32 = 16398u32;