PRINT_CPU_WIDTH
ret += printf(" %0*d |", PRINT_CPU_WIDTH, work->cpu);
PRINT_CPU_WIDTH, "Cpu");
PRINT_CPU_WIDTH, i,
#define PRINT_TIMEHIST_CPU_WIDTH (PRINT_CPU_WIDTH + PRINT_BRACKETPAIR_WIDTH)
printf(" [%0*d] ", PRINT_CPU_WIDTH, work->cpu);