# call the function defined in src/gdb-main-head.py
finish()