<> <> <> <<>> <> <<>> DIRECTORY Atom, BitOps; PCDynProg: CEDAR PROGRAM IMPORTS Atom, BitOps EXPORTS ~ BEGIN <> QWord: TYPE = ARRAY [0 .. 2) OF CARD; <<>> <> <<>> Q: PROC [c: QWord] RETURNS [rc: REF ANY] = {rc _ NEW[QWord _ c]}; C: PROC [c: CARD] RETURNS [rc: REF ANY] = {rc _ NEW[CARD _ LOOPHOLE[c]]}; B: PROC [c: CARDINAL] RETURNS [rc: REF ANY] = {rc _ NEW[CARDINAL _ c]}; AdDBus: PROC [bd,hyb,Int,ci,pth: CARDINAL _0] RETURNS [ad: CARDINAL _0] ~ { <

> <<>> << =0 is for BIC>> ad _ BitOps.WShift[bd,12]+BitOps.WShift[hyb,8]; ad _ ad+BitOps.WShift[Int,5]+BitOps.WShift[ci,3]+pth; }; IdCte: PROC [t,v:CARDINAL] RETURNS [id:CARDINAL] ~ { <> <> id _ 5000H + BitOps.WShift[t,6] + v; }; <> <<>> Atom.PutProp[$PCEmul, $PKList, LIST[ $Init, $Reset, LIST[$SendDBusAddress, B[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:0]]], -- ID path of DynInt LIST[$ReadDBusAndCheck,C[IdCte[t:11,v:1]],B[16]], $Nop, LIST[$Jump,$Nop], ]]; END.