/* defiles.h - lrs - 2/13/89 */
void ReadFile (char filename[], void* buf);
void WriteFile (char filename[], void* buf);

/*---- end of defiles.h ----*/