Constant UNWIND_HISTORY_TABLE_SIZE 

pub const UNWIND_HISTORY_TABLE_SIZE: u32 = 12u32;