Fixing add_carry (+typos).
Emulating vector sub signed sat i32.
Optimizing eflags access (I think).