--This is the interface to the D0 floating point microcode overlay
--D0FloatDefs is implemented by MicrocodeOverlay.bcd
--m.stone: November 12, 1980 2:16 PM
D0FloatDefs: DEFINITIONS =
BEGIN
MicrocodeLoader: PROGRAM;--START this to do the load
END.