pub const DF_1_STUB: u32 = 0x0400_0000;