--modified by m. stone:  November 12, 1980  2:17 PM
MicrocodeOverlay: CONFIGURATION 
	IMPORTS MiscDefs, SegmentDefs
	EXPORTS D0FloatDefs
	CONTROL MicrocodeLoader =
BEGIN
MicrocodeLoader;
MicrocodeImage;
END.