/* See the file NOTICE for conditions of use and distribution. */
/* GNU-specific code. This is concatenated onto the generic src/os.c file.
/* See the file NOTICE for conditions of use and distribution. */
/* GNU-specific code. This is concatenated onto the generic src/os.c file.