Symbol: add_u64_u32