*/
  public void tex_coord3d (double s, double t, double r) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 57, 28);
      o.write_double (s);
      o.write_double (t);
      o.write_double (r);
    }
  }