public override void read_allocation(Bitstream stream, Header header, Crc16 crc) { base.read_allocation(stream, header, crc); }