#include <output.h>
Referenced by close_input_stream(), do_undump(), and open_input_stream().
Referenced by open_input_stream().