<> <> <> <> <> MicrocodeBooting: DEFINITIONS = BEGIN <> BootFileNumber: TYPE = RECORD [CARDINAL]; nullBootFileNumber: BootFileNumber = [0]; BootSpecificMicrocode: PROC [bfn: BootFileNumber]; <> <> MicrocodeType: TYPE = { <> altoMesa, lisp, smalltalk76, smalltalk80, <> pilotMesa, cedarMesa }; GetBootFileNumber: PROC [type: MicrocodeType] RETURNS [bfn: BootFileNumber]; <> <<>> END.