When I save the state of RAM to nonvolatile storage, then later put it back into RAM and continue executing, there are senses in which you could legitimately say it's not the same program. But they're not the senses I care about.