pub const DMLERR_SERVER_DIED: u32 = 16398u32;