with Ada.Exceptions; use Ada.Exceptions;
package GNAT.Traceback.Symbolic is
pragma Elaborate_Body (Traceback.Symbolic);
function Symbolic_Traceback (Traceback : Tracebacks_Array) return String;
function Symbolic_Traceback (E : Exception_Occurrence) return String;
end GNAT.Traceback.Symbolic;