extern void Dump_e (File f, Instruction *instr);
extern void Dump_e2 (File f, Instruction *instr);
extern void Dump_n (File f, Instruction *instr);
extern void Dump_l (File f, Instruction *instr);
extern void Dump_I (File f, Instruction *instr);
extern void Dump_B (File f, Instruction *instr);
extern void Dump_C (File f, Instruction *instr);
extern void Dump_S (File f, Instruction *instr);
extern void Dump_R (File f, Instruction *instr);
extern void Dump_s (File f, Instruction *instr);
extern void Dump_nn (File f, Instruction *instr);
extern void Dump_ln (File f, Instruction *instr);
extern void Dump_sn (File f, Instruction *instr);
extern void Dump_In (File f, Instruction *instr);
extern void Dump_Bn (File f, Instruction *instr);
extern void Dump_Cn (File f, Instruction *instr);
extern void Dump_Sn (File f, Instruction *instr);
extern void Dump_Rn (File f, Instruction *instr);
extern void Dump_nnn (File f, Instruction *instr);
extern void Dump_snn (File f, Instruction *instr);
extern void Dump_nll (File f, Instruction *instr);
extern void Dump_snln (File f, Instruction *instr);
extern void Dump_ccall (File f, Instruction *instr);


extern void DebugState (State s);

/* END of db_cmdline.h" */