*/
  public void color3ub (byte red, byte green, byte blue) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 11, 8);
      o.write_int8 (red);    
      o.write_int8 (green);    
      o.write_int8 (blue);
      o.write_pad (1);
    }
  }