*/  for(i=0; i<num_pixels; i++) {  dst[0]= palette[ src[i]*4+2 ]; dst[1]= palette[ src[i]*4+1 ]; dst[2]= palette[ src[i]*4+0 ];  dst+= 4; }
void palette8torgb32(const uint8_t *src, uint8_t *dst, unsigned num_pixels, const uint8_t *palette){	unsigned i;	for(i=0; i<num_pixels; i++)		((unsigned *)dst)[i] = ((unsigned *)palette)[ src[i] ];}