. "# [23:29] it is only a problem if you want to prove whether the program does or does not produce output, and I am not sure why you would want to prove that :-)" . . .