Constant DEBUG_ADDSYNTHSYM_DEFAULT

pub const DEBUG_ADDSYNTHSYM_DEFAULT: u32 = 0u32;