#include <stdint.h>

/* This __(u)int24 is 32 bits wide. This might cause problems. */
typedef uint32_t __uint24;
typedef int32_t __int24;