func negate(x): bool -> bool =
  if x:
    0
  else:
    1