The `entry_point.json_symtab` in this directory was created from the Ada source
file `entry_point.adb` using the
[gnat2goto](https://github.com/diffblue/gnat2goto) compiler.

```
gnat2goto entry_point.adb
```
