pub const EX_DEADLOCK: u32 = 13u32;