revise hexadecimal_encoding