/* This file should contain any system-dependent functions
   that will be used by many parts of the library.  */