*/
  public void raster_pos3i (int x, int y, int z) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 39, 16);
      o.write_int32 (x);
      o.write_int32 (y);
      o.write_int32 (z);
    }
  }