C/C++ traceback example in Validate