I wonder if there is a library or other method to do assertions which would provide a stack trace capability? Would an external lib be needed? Could this be done portably? Or, does it make sense to build this into gcc?