#include <stdint.h>
#include <stdio.h>

int main()
{
    int32_t x24[] = { 65536, 8388608, 8388609, 8388607,
                    11018209,  15365660, 11257026, 1416846 };
    int32_t y24[20];
    int len = sizeof(x24)/sizeof(x24[0]);
    int i;
    for (i = 0; i< len; i++)
    {
        int32_t value = x24[i];
        if (value & 0x800000)
            value |= 0xff000000;
        y24[i] = value;
        printf(" %d %d \n", x24[i], value);
    }
    return 0;
}