The programs are equivalent.