void glClearColor( double red, double green, double blue, double alpha, ) { return _glClearColor( red, green, blue, alpha, ); }