pub const F_SEAL_SHRINK: u32 = 2;