* @see <a href="glXDestroyContext.html">glXDestroyContext</a>
   */
  public void destroy () {
    RequestOutputStream o = display.out;
    synchronized (o) {
      o.begin_request (glx.major_opcode, 4, 2);
      o.write_int32 (id);
      o.send ();
    }
  }