WATCHDOG: using exit() might get stuck because it deallocates memory on an already unstable state - need to use abort or C++ exceptions which uses abort
WATCHDOG: using exit() might get stuck because it deallocates memory
on an already unstable state - need to use abort or C++ exceptions which
uses abort

dimagol/trex-core,dimagol/trex-core,kisel/trex-core,dimagol/trex-core,kisel/trex-core,kisel/trex-core,dimagol/trex-core,dimagol/trex-core,dimagol/trex-core,kisel/trex-core,kisel/trex-core,kisel/trex-core