*/
  public void selection_buffer (int size) {
    render_mode = SELECT;

    RequestOutputStream o = display.out;
    synchronized (o) {
      o.begin_request (glx.major_opcode, 106, 3);
      o.write_int32 (tag);
      o.write_int32 (size);
      o.send ();
    }
  }