pub const HISTORY_NO_DUP_FLAG: u32 = 1; // 1u32