// This file written from LLPARAMS on 11-NOV-81 11:44:38
// added CDRCODING for back compatibility November 30, 1981  9:24 PM
// added DTDSize for back compatibility December 16, 1981  12:39 PM

manifest [
MinRamVersion = #6000
MinBcplVersion = #16000
LispVersion = #10400
CDRCODING = 1
DTDSize = 0
SMALLTYPE = #1
INTEGERTYPE = #2
FLTPTTYPE = #3
ATOMTYPE = #4
LISTTYPE = #5
ARRAYPTRTYPE = #6
STRINGPTRTYPE = #7
PMBLOCKSIZE = #40
STATSsize = #10
EmptyPMTEntry = #177777
FirstVmemBlock = #2
IFPValidKey = #12743
HashInc = #23
FirstMDSPage = #400
StackMask = #160000
FxtnBlock = #140000
GuardBlock = #160000
BFBlock = #100000
FreeStackBlock = #120000
MinExtraStackWords = #40
ERASECHARCODE = #0
ATOMspace = #0
SMALLPOSspace = #16
SMALLNEGspace = #17
PNPspace = #20
PNPbase = #0
DEFspace = #21
DEFbase = #0
TOPVALspace = #22
TOPVALbase = #0
PLISTspace = #23
PLISTbase = #0
AHTspace = #24
AHTbase = #0
AHTSIZE = #200
PAGEMAPspace = #25
PAGEMAPbase = #0
PMTspace = #26
PMTbase = #0
INTERFACEspace = #26
INTERFACEbase = #10000
CurrentFXP = #0
ResetFXP = #1
SubovFXP = #2
KbdFXP = #3
HardReturnFXP = #4
MDSTYPEspace = #26
MDSTYPEbase = #100000
MDSTTsize = #4
STATSspace = #26
STATSbase = #110000
InterruptTBLbase = #111200
MISCSTATSbase = #112000
STACKspace = #27
HTMAINspace = #73
HTMAINbase = #0
HTMAINnpages = #201
D1BCPLspace = #77
D0BCPLspace = #0
MSstrtTime = #0
MStotTime = #2
MSswapTime = #4
MSpgeFlt = #6
MSpgeWrt = #10
MSdskTime = #12
MSdskOps = #14
MSkeyTime = #16
MSgcTime = #20
MSnetTime = #22
MSnetOps = #24
lenMiscStats = #26
IFPCurrentFXP = #0
IFPResetFXP = #1
IFPSubovFXP = #2
IFPKbdFXP = #3
IFPHardReturnFXP = #4
IFPGCFXP = #5
IFPEndOfStack = #7
IFPLVersion = #10
IFPMinRVersion = #11
IFPMinBVersion = #12
IFPRVersion = #13
IFPBVersion = #14
IFPKey = #17
IFPSerialNumber = #20
IFPEmulatorSpace = #21
IFPScreenWidth = #22
IFPNxtPMAddr = #23
IFPNActivePages = #24
IFPNDirtyPages = #25
IFPfilePnPMP0 = #26
IFPfilePnPMT0 = #27
IFPInterrupted = #30
IFPInterruptEnable = #31
IFPInterruptChar = #32
IFPRaidExitFn = #33
IFPUserNameAddr = #34
IFPUserPswdAddr = #35
IFPStackBase = #36
]