open_input
static void open_input(const char *, const char *);
open_input(infile, define);
open_input(infile, define);
open_input(infile, define);
open_input(infile, define);
open_input(infile, define);
open_input(infile, define);
open_input(infile, define);