Gravar-mail: Instrumentaciones de programas escritos en C para interrelacionar las vistas comportamental y operacional de los sistemas de software