Original crc-dabmux from CRC-mmbtools