Logged In: YES
user_id=473886

A possible and simple solution is to negate the carry, when
notC bit is set and an ADD operation is executed. All this
can be done in alu.c module.