demux.sv debugging