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