Correctly record stream write after (rather than before) instruction value in printf and fprintf.