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

ateu:        x a2 <ateu_exe>,x a4 <ateu_exe>,x a5 <ateu_exe>, (1.1)


