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