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