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

void            read_active_file(FILE *, FILE *);