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