https://diffblue.github.io/cbmc/structdesignatort_1_1entryt.html
CBMC: designatort::entryt Struct Reference
cbmcstructreference
https://diffblue.github.io/cbmc/structcheck__call__sequencet_1_1call__stack__entryt.html
CBMC: check_call_sequencet::call_stack_entryt Struct Reference
cbmccheckcallstackstruct