Symbol: add_u32_u32_fx