message(FATAL_ERROR "This should not be reached.")