*)Je regarderais du côté des outils de la TIGCC Tool Suite pour la conversion EXEC -> ASM (par contre il peut avoir un problème du fait que je le fasse depuis TiEmu, et non sur ma calculette) .

Il n'y a pas d'outil dans la TIGCC Tools Suite qui fasse directement la conversion, mais je pense qu'en enchaînant un script très similaire à celui que que j'ai posté, et des outils de la TIGCC Tools Suite, il est faisable d'écrire un convertisseur qui tourne sur l'ordinateur.