Constant isc_baddpb_buffers_range 

pub const isc_baddpb_buffers_range: u32 = 335545086;