doğu bey, ifthenelse35 bastırma derken yani hatayı ekrana yazdırmayı iptal etme anlamında söylemiştir. halk dilinde hata bastırma diye kullanılır.