*/
  public void color4ub (boolean red, boolean green, boolean blue,
                        boolean alpha) {

    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 19, 8);
      o.write_bool (red);    
      o.write_bool (green);    
      o.write_bool (blue);
      o.write_bool (alpha);
    }
  }