print_integer_arg
print_integer_arg(const char *(*decoder)(int), int value)
print_integer_arg(const char *(*decoder)(int), FILE *fp, int value)