Hello,

Attached is a correction proposal for a particular definition on the
subtract_with_carry engine.

Thanks,
Lucas Rey