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