*/
  public void multi_tex_coord3s_arb (int target, int s, int t, int r) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 209, 16);
      o.write_int32 (target);
      o.write_int16 (s);
      o.write_int16 (t);
      o.write_int16 (r);
      o.write_pad (2);
    }
  }