/***   init.h   ***/

extern char *dump_file;

bool deal_arguments(int,char*[]);
int  program_printing(bool);
void create_IA(void);
void create_X(void);
void read_program(void);