pub const ENCODE_UPPER_LUT: &Bytes32;