SvgaLib/doc/man3/gl_setpixelrgb.3