translation to C: handle 'no return value' test and incorrect message when a test has crashed
translation to C: handle 'no return value' test and incorrect message when a test has crashed

WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc