*/
  public void tex_coord2s (int s, int t) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 56, 8);
      o.write_int16 (s);
      o.write_int16 (t);
    }
  }