Constant DECODER_AUX_TRACE_RANGE 

pub const DECODER_AUX_TRACE_RANGE: Range<usize>;