setIOSynchronized -- synchronized I/O for threads

• Usage:

  setIOSynchronized()

  setIOSynchronized f

  getIOThreadMode

• Inputs:
  • f, a file,
• Consequences:

  • threads are permitted to use the file f, or if no file is given, stdio and stderr, to output complete lines only