__halt _cyc_argc _cyc_argv Cyc_command_line_arguments Cyc_compilation_environment Cyc_file_last_modified_time Cyc_halt Cyc_installation_dir Cyc_io_delete_file Cyc_io_file_exists Cyc_system

Cyc_file_last_modified_time() time_t Cyc_file_last_modified_time ( char *  path )