12.122 GNAT.Traceback.Symbolic (g-trasym.ads)