/* For operating-system and compiler details...   */
/* Obtain details.c by changeing "System_details" */
/* to the appropriate string. */

char sysdetails_ASL[] = "System_details";