DIRECTORYBcdDefs USING [BcdBase, ModuleIndex, NullModule],PrincOps USING [GlobalFrameHandle];BasicLoadState: DEFINITIONS= BEGINConfigID: TYPE[1];NullConfig: READONLY ConfigID;ModuleIndex: TYPE = BcdDefs.ModuleIndex; -- Note: 1-originNullModule: ModuleIndex = BcdDefs.NullModule;TypeCode: TYPE [1];Destroy: PROC;ModuleToGlobalFrame: PROC [config: ConfigID, module: ModuleIndex] RETURNS [gfh: PrincOps.GlobalFrameHandle];GlobalFrameToModule: PROC [gfh: PrincOps.GlobalFrameHandle] RETURNS [config: ConfigID, module: ModuleIndex];GlobalFrameToType: PROC [gfh: PrincOps.GlobalFrameHandle] RETURNS [type: TypeCode];SetType: PROC [gfh: PrincOps.GlobalFrameHandle, type: TypeCode];ConfigInfo: PROC [config: ConfigID] RETURNS [bcd: BcdDefs.BcdBase, exports, exportsTypes: BOOL];EnumerateConfigs: PROC [proc: PROC [ConfigID] RETURNS [BOOL]] RETURNS [config: ConfigID];EnumerateModulesInConfig: PROC [config: ConfigID, proc: PROC [ModuleIndex] RETURNS [BOOL]] RETURNS [module: ModuleIndex];EnumerateAllModules: PROC [proc: PROC [ConfigID, ModuleIndex] RETURNS [BOOL]] RETURNS [config: ConfigID, module: ModuleIndex];END.    Ø  BasicLoadState.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Levin on May 19, 1983 3:57 pmRuss Atkinson (RRA) January 31, 1985 10:52:15 am PSTDoug Wyatt, February 27, 1985 9:22:45 am PST Ê—  ˜ codešœ™Kšœ
Ïmœ1™<Kšœ™J™4K™,—K˜ šÏk	˜	Kšœžœ$˜1Kšœ	žœ˜#—K˜ KšÐblœž˜Kšœž˜K˜ Kšœ
žœ˜Kšœžœ
˜K˜ KšœžœÏc˜:K˜-K˜ Kšœ
žœ˜K˜ KšÏnœžœ˜K˜ Kš¡œžœ(ž	œ#˜mK˜ Kš¡œžœ"ž	œ)˜mK˜ Kš¡œžœ"ž	œ˜TK˜ Kš¡œžœ3˜@K˜ Kš¡
œžœžœ/žœ˜aK˜ Kš¡œžœžœžœžœž	œ˜ZK˜ Kš¡œžœžœžœžœžœ˜{K˜ Kš¡œžœ	žœžœžœžœ)˜€K˜ Kšžœ˜— …—    „  ó  