*/
  public void rects (int x1, int x2, int y1, int y2) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 48, 12);
      o.write_int16 (x1);
      o.write_int16 (x2);
      o.write_int16 (y1);
      o.write_int16 (y2);
    }
  }