*/
  public void tex_coord3f (float s, float t, float r) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 58, 16);
      o.write_float (s);
      o.write_float (t);
      o.write_float (r);
    }
  }