*/
  public void tex_genf (int coord, int pname, float param) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 117, 16);
      o.write_int32 (coord);
      o.write_int32 (pname);
      o.write_float (param);
    }
  }