/* Converts a big endian byte stream into a 16-bit integer (short)  */
short inv_big8_to_int16(const unsigned char *big8)
/* Converts a big endian byte stream into a 16-bit integer (short)  */
short inv_big8_to_int16(const unsigned char *big8)
{
    short x;
    x = ((short)big8[0] << 8) | ((short)big8[1]);
    return x;
}