pub const isc_dpb_wal_chkptlen: u32 = 43;