module unary_and_inc.
   accumulate unary, inc.