Constant DECODER_AUX_TRACE_WIDTH 

pub const DECODER_AUX_TRACE_WIDTH: usize = 3;