Update exec1.cpp with DFTWithStack and exec4.cpp