/* This file should contain any system-dependent functions

   that will be used by many parts of the library.  */