* Ability to specify the name of the faulty error state