-- MicrocodeFile.mesa    modified 20-Jun-82 17:19:13 by Taft

DIRECTORY
  Mopcodes USING [zEXCH],
  System USING [GreenwichMeanTime];

MicrocodeFile: DEFINITIONS =
  BEGIN

  Header: TYPE = MACHINE DEPENDENT RECORD [
    version (0): CARDINAL,
    mustBeZero (1): LONG CARDINAL,
    createDate (3): BCPLTime,
    name (5): StringBody];

  BCPLTime: TYPE = RECORD [LONG CARDINAL];

  GMTFromBCPLTime: PROCEDURE [BCPLTime] RETURNS [System.GreenwichMeanTime] = MACHINE CODE
    { Mopcodes.zEXCH };

  maxNameLength: CARDINAL = 40;

  END.