Constant HISTORY_BUFFER_LENGTH 

pub const HISTORY_BUFFER_LENGTH: U256;