Enviar por SMS: Static and dynamic strategies to understand C programs by code annotation