INPUT 
OUTPUT o
VAR
  _l_2, c, o
IN
c = NOT _l_2
o = REG c
_l_2 = REG o