(PRO1) no longer halts the program