pub const ATF_DONTPUB: c_int = 0x40;