To debug this script it's easiest to use the interactive python from a command-line GDB session. Stop at a breakpoint, then use python-interactive to enter the python shell and acquire a `Value` ...