Modifying program verification to also work from a bare power-on (whoops).