Příklad: Generátor by neměl uživateli zakázat zadat zprávu delší než 60 znaků natvrdo, ale měl by vygenerovat varování.