int rgb_xpixel_from_rgb(int rgb);