main() = (o) where
  o = reg(c);
  c = not (reg (o))
end where