*/
  public void color4ui (int red, int green, int blue, int alpha) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 20, 20);
      o.write_int32 (red);    
      o.write_int32 (green);    
      o.write_int32 (blue);
      o.write_int32 (alpha);
    }
  }