This is a simple example of a pretty printer for GDB in python.
Run gdb and either use the pretty-print.gdb file to enable pretty printing and
load the extension, or do so manually. Run and break in break_here and print it
with print *list. The result should be:
$ DEBUGINFOD_URLS= gdb -x ./pretty-print.gdb -ex run -ex 'print *list' -ex c -ex quit ./pretty-print
$1 = 0 -> 1 -> 2 -> 3 -> 4 -> 5 -> 6 -> 7 -> 8 -> 9