static long longFromBytes_bigEndian(byte[] a, int i) {
  ret twoIntsToLong_bigEndian(
    intFromBytes_bigEndian(a, i),
    intFromBytes_bigEndian(a, i+4));
}