-- The above FATAL_ERROR did not occur.