1/* For operating-system and compiler details...   */
2/* Obtain details.c by changeing "System_details" */
3/* to the appropriate string. */
4
5char sysdetails_ASL[] = "System_details";
6