add a maybe useful hex conversion function