(RA) [ (*RA00) (*RA01) (*RA02) (*RA03) (*RA04) (*RA05) (*RA06) (*RA07) (*RA08) ] .def

(RCtl) [ (*RAS0') (*RAS1') (*RAS2') (*RAS3') (*CAS') (*WE') ] .def

(D) [ (*D00) (*D01) (*D02) (*D03) (*D04) (*D05) (*D06) (*D07) (*D08) (*D09) 
(*D10) (*D11) (*D12) (*D13) (*D14) (*D15) (*D16) (*D17) (*D18) (*D19) 
(*D20) (*D21) (*D22) (*D23) (*D24) (*D25) (*D26) (*D27) (*D28) (*D29) 
(*D30) (*D31) (*D32) (*D33) (*D34) (*D35) (*D36) (*D37) (*D38) (*D39) ] .def

(AD) [ (AD00) (AD01) (AD02) (AD03) (AD04) (AD05) (AD06) (AD07) ] .def

(A) [ (D08) (D09) (D10) (D11) (D12) (D13) (D14) (D15) ] .def

(UCtl) [ (*RD') (*WR') (*CE-M) (*CE-IO) (*CLK) (*IO/M') (*DONE) (*RDY) ] .def

(ARB) [ (*arbrq) (*arbout) (*arbin) (*arback) ] .def

(printout) () .cvx .def
(g) (getnodevalue (                 ) .cvis .print (   ) .print) .cvx .def
(g1) (getnodevalue (                 ) .cvis .print ( ) .print) .cvx .def
(gn)(.dup .print (=) .print g) .cvx .def

(garray) ((gn) .cvx .arrayforall () /print) .cvx .def
(g1array) ((g1) .cvx .arrayforall () /print) .cvx .def
(xarray) ((gn) .cvx .arrayforall () x) .cvx .def
(loarray) ((gn) .cvx .arrayforall () lo) .cvx .def
(hiarray) ((gn) .cvx .arrayforall () hi) .cvx .def

(cycle) ((PHI1) hi simsolve .pop (PHI1) lo simsolve .pop (PHI2) hi simsolve .pop (PHI2) lo simsolve .pop printout) .cvx .def
(cycle8) (cycle cycle cycle cycle cycle cycle cycle cycle) .cvx .def
(cycle32) (cycle8 cycle8 cycle8 cycle8) .cvx .def
(cycle128) (cycle32 cycle32 cycle32 cycle32) .cvx .def
(cyclego) ((RADLOK) hi cycle cycle cycle cycle (RASDLOK) lo cycle32 cycle8 cycle8 cycle8) .cvx .def

(try) ((start) hi cycle (arbin) lo cycle32 cycle32 cycle32 (start) lo (arbin) hi cycle) .cvx .def