code: function encodeArray_EMPTY( encoder ) {
  
  	//
  	// Empty Array (EMPTY)
  	//
  	// ........
  	// 01111110
  	//
  
  	encoder.counters.arr_empty+=1;
  	encoder.log(LOG.ARR, "array.empty");
  	encoder.stream8.write( pack1b( ARR_OP.EMPTY ) );
  	encoder.counters.op_prm+=1;
  
  }
docs: Encode array data as an empty array