Pošalji tekstualnu poruku: Precise verification of C programs