*/
  public void delete_textures (int [] textures) {
    int n = textures.length;
    RequestOutputStream o = display.out;
    synchronized (o) {
      // The spec says request length == 1, but this seems wrong.
      o.begin_request(glx.major_opcode, 144, 3 + n);
      o.write_int32 (tag);
      o.write_int32 (n);
      for (int i = 0; i < n; i++)
        o.write_int32 (textures[i]);
    }
  }