casting from unsigned to signed is well-defined after over-/underflow of unsigned: need to mask with 0xffff
casting from unsigned to signed is well-defined after over-/underflow of unsigned: need to mask with 0xffff

VcDevel/Vc,chr-engwer/Vc,VcDevel/Vc,chr-engwer/Vc,chr-engwer/Vc,VcDevel/Vc,VcDevel/Vc