public void read_allocation(SoundStream stream, Frame header, Crc16 crc)
	  {
		 int length = get_allocationlength(header);
		 allocation = stream.get_bits(length);
		 if (crc != null) 
			 crc.add_bits(allocation, length);  
	  }