Constant F_BOOLOR_STATEFUNC

pub const F_BOOLOR_STATEFUNC: u32 = 2516;