#include <clc/clc.h>
_CLC_DECL void __clc_write_imagef_2d(image2d_t image, int2 coord, float4 color);
_CLC_OVERLOAD _CLC_DEF void
write_imagef(image2d_t image, int2 coord, float4 color)
{
__clc_write_imagef_2d(image, coord, color);
}