pub const DF_1_IGNMULDEF: u32 = 0x0004_0000;