sS shortArrayToHex_bigEndian(short[] a) {
  ret bytesToHex(byteArrayFromShorts_bigEndian(a));
}