/* Converts a 16-bit short to a big endian byte stream  */
unsigned char* inv_int16_to_big8(short x, unsigned char *big8)
/* Converts a 16-bit short to a big endian byte stream  */
unsigned char* inv_int16_to_big8(short x, unsigned char *big8)
{
    big8[0] = (unsigned char)((x >> 8) & 0xff);
    big8[1] = (unsigned char)(x & 0xff);
    return big8;
}