Use the RPython 'binascii' module.