pub const ENCODE_LOWER_LUT: &Bytes32;