*/
  public void copy_texture_sub_image3d (int target, int level, 
    int xoffset, int yoffset, int zoffset,
    int x, int y, int width, int height) {

    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 4123, 40);
      o.write_int32 (target);
      o.write_int32 (level);
      o.write_int32 (xoffset);
      o.write_int32 (yoffset);
      o.write_int32 (zoffset);
      o.write_int32 (x);
      o.write_int32 (y);
      o.write_int32 (width);
      o.write_int32 (height);
    }
  }