signed-integer-overflow:disaproc2.cpp
