Files
picofe-irixxxx/config_file.c