Constant ATF_MAGIC

pub const ATF_MAGIC: c_int = 128i32;