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