/* do not include execinfo.h directly since it's not always available.
Instead, copy the parts we need (and fake when it's not there) */
/* do not include execinfo.h directly since it's not always available.
Instead, copy the parts we need (and fake when it's not there) */