Possibly.  I don't remember.  I guess the real question is what does the format_exception function do?