/* Converts a big endian byte stream into a 32-bit long  */
long inv_big8_to_int32(const unsigned char *big8)
/* Converts a big endian byte stream into a 32-bit long  */
long inv_big8_to_int32(const unsigned char *big8)
{
    long x;
    x = ((long)big8[0] << 24) | ((long)big8[1] << 16) | ((long)big8[2] << 8)
        | ((long)big8[3]);
    return x;
}