Made datum_exc_t be final (just because it is not subclassed).