Refactored octo_carry_init.