The body of package Serial_Generator is now out of SPARK due to limitations related to instantiating generic units.