pub const DMRES_HIGH: i32 = -4;