pub const F_ADD_SEALS: u32 = 1033; // 1_033u32