777         def bad_flush():  function
780         f.flush = bad_flush
1129         def bad_flush():  function
1132         raw.flush = bad_flush
1144         def bad_flush():  function
1150         b.flush = bad_flush
1161         def bad_flush():  function
1167         b.flush = bad_flush
3198         def bad_flush():  function
3201         txt.flush = bad_flush
3212         def bad_flush():  function
3218         txt.flush = bad_flush
3229         def bad_flush():  function
3235         txt.flush = bad_flush