déclaration des fonctions de decode_exec et de la trace