Symbol: m_add_u32