another name for bx_rgb_to_color (0xFF,0x00,0x80); which is bx_mean_color (bx_red (), bx_magenta ());