/*
 *      Copyright (c) 2005 Michael T Pins.  All rights reserved.
 */

void            print_config(FILE * f);