static void bytesToShorts_signedBigEndian(byte[] a, short[] b) {
  int n = l(a)/2;
  for i to n:
    b[i] = ((short) a[i]) << 8 | ((short) a[i+1]) & 0xFF;
}