1 /* 2 * Copyright (c) 2005 Michael T Pins. All rights reserved. 3 */ 4 5 void print_config(FILE * f); 6