*/
  public void minmax (int target, int internal_format, boolean sink) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 4111, 16);
      o.write_int32 (target);
      o.write_int32 (internal_format);
      o.write_bool(sink);
      o.write_pad (3);
    }
  }