Modula-3 provides an exception mechanism for raising and handling error conditions that occur in programs.