dist_print_header
extern void dist_print_header(const char *, int, const char *);
dist_print_header("Buffers", LABEL_WIDTH, "Slabs");
dist_print_header("malloc size", 11, "count");