*/
  public void tex_coord2d (double s, double t) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 53, 20);
      o.write_double (s);
      o.write_double (t);
    }
  }