proc logic(a, b: bool) =
  echo "a and b: ", a and b
  echo "a or b: ", a or b
  echo "not a: ", not a
  echo "a xor b: ", a xor b