Constant DECODER_OPTION_TRACE_LEVEL 

pub const DECODER_OPTION_TRACE_LEVEL: DECODER_OPTION = 9;