no need for the cast to severity (the generator already outputs valid elements of the severity enum)