*/
  public void rectd (double x1, double x2, double y1, double y2) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 45, 36);
      o.write_double (x1);
      o.write_double (x2);
      o.write_double (y1);
      o.write_double (y2);
    }
  }