*/
  public void eval_coord2f (float u, float v) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 154, 12);
      o.write_float (u);
      o.write_float (v);
    }
  }