More print statements in run_to_neff.