Em alguns casos, o executável de um programa pode incluir informações adicionais, tais como informação de depuração, a qual permite correlacionar as sentenças e variáveis de alto nível a instruções de máquina.