*/
  public void recti (int x1, int x2, int y1, int y2) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 47, 20);
      o.write_int32 (x1);
      o.write_int32 (x2);
      o.write_int32 (y1);
      o.write_int32 (y2);
    }
  }