pub const MAX_SMALL_U256: U256;