MainControlIn:
TYPE =
RECORD [
-- default zero
kIsRtOp: BOOL ← FALSE,
aluOp: Dragon.ALUOps ← Or,
condSel: Dragon.CondSelects ← False,
aluLt: Dragon.ALULeftSources ← aBus,
aluRt: Dragon.ALURightSources ← bBus,
st2A: Dragon.Store2ASources ← bBus,
st3AIsCbus: BOOL ← FALSE,
res3AIsCbus: BOOL ← FALSE,
res3BIsRdData: BOOL ← FALSE ];