extern void colorize_init (void);
extern int should_colorize (int);
extern void print_start_colorize (char const *, char const *);
extern void print_end_colorize (char const *);