Exception module is documented.