pub const ATF_MAGIC: i32 = 128;