*/
  public void rectf (float x1, float x2, float y1, float y2) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 46, 20);
      o.write_float (x1);
      o.write_float (x2);
      o.write_float (y1);
      o.write_float (y2);
    }
  }