(nodes) (gates (mutex (req "inpA") (req "inpB") (req "outA") (req "outB")) ) (connections (connect (ack "outA") (ack "inpA")) (connect (ack "outB") (ack "inpB")) )