release_input
extern void release_input(struct input_file *);
release_input(infile);
release_input(infile+ilevel--);