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