subtract_with_carry_engine : 参照を追加