pub const ATF_PUBL: i32 = 0x08; // 8i32