static long twoIntsToLong(int a, int b) {
  ret (((long) a) << 32) | (((long) b) & 0xFFFFFFFFL);
}