* *      Goto-Inspect 6.11.0 (cbmc-6.11.0-dirty) 64-bit     * *
* *                    Copyright (C) 2023                   * *
* *                      Diffblue Ltd.                      * *
* *                    info@diffblue.com                    * *

Usage:                       Purpose:

 goto-inspect [-?] [-h] [--help]  show this help
 goto-inspect --version       show version and exit
 goto-inspect --show-goto-functions file_name  show code for goto-functions
                              present in goto-binary file_name