docs: function write_BrtColInfo(C, col, o) {
  	if(o == null) o = new_buf(18);
  	var p = col_obj_w(C, col);
  	o.write_shift(-4, C);
  	o.write_shift(-4, C);
  	o.write_shift(4, (p.width || 10) * 256);
  	o.write_shift(4, 0/*ixfe*/); // style
  	var flags = 0;
  	if(col.hidden) flags |= 0x01;
  	if(typeof p.width == 'number') flags |= 0x02;
  	o.write_shift(1, flags); // bit flag
  	o.write_shift(1, 0); // bit flag
  	return o;
  }