protexe.exe: x dat1000 protexe.exe 
           ->x dat13 protexe.exe

ateu:        x a2 <ateu_exe>


