sS longArrayToHex_bigEndian(long[] a) {
  ret bytesToHex(byteArrayFromLongs_bigEndian(a));
}