pub const TXTLOG_DEPTH_INCR: u32 = 131072u32;