894 int main(int argc, char* argv[])  in main()  argument
897   require += info_compiler[argc];  in main()
898   require += info_platform[argc];  in main()
899   require += info_arch[argc];  in main()
901   require += info_version[argc];  in main()
904   require += info_version_internal[argc];  in main()
907   require += info_simulate[argc];  in main()
910   require += info_simulate_version[argc];  in main()
913   require += info_cray[argc];  in main()
915   require += info_language_standard_default[argc];  in main()
916   require += info_language_extensions_default[argc];  in main()