*/
  public void color_table_parameterfv (int target, int pname, 
    float [] params) {

    int n = 0;

    switch (pname) {
    case COLOR_TABLE_SCALE:     // fall through
    case COLOR_TABLE_BIAS: n = 4; break;
    }

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