Killing a frozen program