DEBUG_ADDSYNTHMOD_DEFAULT

Constant DEBUG_ADDSYNTHMOD_DEFAULT 

pub const DEBUG_ADDSYNTHMOD_DEFAULT: u32 = 0u32;