Example For Hash String Fails To Work

[AtropineTears]

Hello,

I am trying to use the hash_string.py example you gave. It raises the following error

AssertionError: 21888242871839275222246405745257275088548364400416034343698204186575808495616 is not a 16-bit positive integer

from the line:

hashed = ggh_hash(packer.pack(witness))