void user_readparams(void *user, char *filename)
The user reads in parameters from the file named filename. The file filename is a file containing both built-in parameters and user parameters. The filename is given as a command line argument when starting the application and is then passed to the user. The user must open the file for reading, scan the file for lines that contain user parameters and then read the parameters in as appropriate. See the file Master/master_io.c to see how SYMPHONY does this.