add a slamm print for restartFromDump and exti(0) to main-1.cpp