module   inc1 {
   input    a,ci ;
   output   s,co ;
   instrin  do ;
   instruct do
      par {
         s  = a @ ci ;
         co = a & ci ;
         }
   }