The programs are not equivalent.