1 /*
2  *      Copyright (c) 2003 Michael T Pins.  All rights reserved.
3  */
4 
5 void            read_active_file(FILE *, FILE *);
6