pub const DEBUG_ADDSYNTHMOD_ZEROBASE: u32 = 1u32;