#include <clc/clc.h>

_CLC_DECL void __clc_write_imageui_2d(image2d_t image, int2 coord, uint4 color);

_CLC_OVERLOAD _CLC_DEF void
write_imageui(image2d_t image, int2 coord, uint4 color)
{
  __clc_write_imageui_2d(image, coord, color);
}