RuntimeError in full_notebooks/FuzzingWithConstraints.ipynb with solver Z3

[suizideFloat]

Describe the bug
A clear and concise description of what the bug is.

To Reproduce
Steps to reproduce the behavior:

1. Go to 'fuzzingbook/'
2. Execute the code 'make code'
3. Scroll down to 'THE END ¯_(ツ)_/¯'
4. See error

Expected behavior
After installing all dependencies and requirements I execute 'make code' in the main folder of the project. Same with 'make book-pdf'.
I would expect the code to run without error and build the project.

Screenshots
https://imageupload.io/HJYhdrOK06buwFp

Desktop (please complete the following information):

• OS: [Linux Debian 11] updated
• Browser [e.g. chrome, safari]
• Python version [3.10.11] ; tested with python 3.11.x as well

Additional context
Just trying to build the project. It throws a RuntimeError:

RuntimeError: Could not parse a numeric solution (0) for variable _3261 of type ''; try running the solver without optimized Z3 queries or make sure that ranges are restricted to syntactically valid ones (according to the grammar).
[...]
make: *** [Makefile:434: full_notebooks/FuzzingWithConstraints.ipynb] Error 1

[suizideFloat]

Did this on at least two Debian (based) systems.