*/
  public void copy_color_sub_table (int target, int start, int x, int y,
                                    int width) {

    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 196, 24);
      o.write_int32 (target);
      o.write_int32 (start);
      o.write_int32 (x);
      o.write_int32 (y);
      o.write_int32 (width);
    }
  }