extern void dump_init(const char *, int, int, bool, int, int, unsigned, bool,
bool, int);
extern void dump_uses(const char *, bool);
extern void dump_init(const char *, int, int, bool, int, int, unsigned, bool,
bool, int);
extern void dump_uses(const char *, bool);