// This is a SyReC-file describing a circuit computing various arithmetic and logical operations.
// This file has been taken from RevLib (www.revlib.org). 

module ops( inout x, in y, in a )

  x += ( ( a | 1 ) & y );
  x -= y;
  x += ( y - 2 );
  x ^= ( y + a )
  
