Telefona gönder: Precise verification of C programs