mcx_circ :: QbIn
  -> Circ QbOut
mcx_circ = unpack template_mcx

mcx_reversible :: (QbIn,QbOut)
  -> Circ (QbIn,QbOut)
mcx_reversible = classical_to_reversible mcx_circ

build_circuit
mcx_m :: (Bool,Bool,Bool,Bool,Bool,Bool,Bool,Bool,Bool) -> Bool
mcx_m (a0,a1, a2, a3, a4, a5, a6, a7, a8) = 
  a0 && a1 && a2 && a3 && a4 && a5 && a6 && a7 && a8
    
