Wyślij wiadomość: Precise verification of C programs