INPUT x
OUTPUT s, r
VAR
  _l_1, r, s, x
IN
s = REG _l_1
_l_1 = XOR x s
r = AND x s