We are free to throw any other interfaces or resources into the mixture, such as a holding register or two...
let holder8_nets = [ ("H8", Local, Symbolic_bitvec (8) ) ] let holder8_idle = [ ("dead", "H8"); ] let holder8_protocol = Seq[ ] (* Null protocol - can be freely used *) let holder8 = ("HOLDER8", holder8_nets, holder8_idle, holder8_protocol)