*/
  public void color4b (byte red, byte green, byte blue, byte alpha) {

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