/*  ios_2.h  --  header for the input/output service module  */

#include <stdio.h>

extern FILE *  open_input_file1  ( char filename [] );
extern FILE *  open_input_file2  ( char filename [] );
extern FILE *  open_output_file ( char filename [] );
extern int     get_line1         ( char ** start );
extern int     get_line2         ( char ** start );
extern int     get_line_sure1    ( char ** start );
extern int     get_line_sure2    ( char ** start );
extern void    err_command_line ( char usage [] );

/*  end of  ios_2.h  */