The program below never ends.