/* Turns the specified pixel to the specified color.  */
void display_ex_set_pixel(point_ui16_t pt, color_t clr)
/* Turns the specified pixel to the specified color.  */
void display_ex_set_pixel(point_ui16_t pt, color_t clr)
{
        return;
    }
    const uint32_t native_color = color_to_native(clr);
    set_pixel_colorFormatNative(pt.x, pt.y, native_color);
}