static int bitXor(int a, int b) {
  ret a ^ b;
}