* Libunwind implementation for the model-checker
*
* Libunwind provides an pluggable stack unwinding API: the way the current
* Libunwind implementation for the model-checker
*
* Libunwind provides an pluggable stack unwinding API: the way the current