Did you mean (for dports):add_carry_u64
Your search defs:addcarry_64 did not match any files. Suggestions: