another name for bx_rgb_to_color (0x00, 0x80,0xFF); which is bx_mean_color (bx_blue (), bx_cyan ());