*/
  public void tex_enviv (int target, int pname, int [] params) {
    int n = 0;

    switch (pname) {
    case TEXTURE_ENV_MODE: n = 1; break;
    case TEXTURE_ENV_COLOR: n = 4; break;
    }

    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 114, 12 + 4 * n);
      o.write_int32 (target);
      o.write_int32 (pname);
      for (int i = 0; i < n; i++)
        o.write_int32 (params [i]);
    }
  }