display_number
display_number("%s = %d seconds", option_types[save],
display_number("%s flag = 0x%x", option_types[save],
display_number("%s = %d bytes", option_types[save],
display_number("%s = %d 512 byte blocks",
static void display_number(char *, char *, unsigned char **);