pub const TICK_HIGH: I256;