main.assertion.1] assertion (signed int)__CS_error != 1: SUCCE