#include <stdio.h>

extern FILE * output;
extern int opt_d;
extern int opt_i;
extern int opt_S;