Constant pgrx_pg_sys::F_BOX_DIV

source ยท
pub const F_BOX_DIV: u32 = 1425;