sysdecode_sockopt_level
const char *sysdecode_sockopt_level(int _level);
print_integer_arg_valid(sysdecode_sockopt_level,
print_integer_arg(sysdecode_sockopt_level, fp, level);
print_integer_arg(sysdecode_sockopt_level, fp,