Constant ATF_MAGIC 

pub const ATF_MAGIC: c_int = 0x80;